Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

What is the difference between "family" and "set"?

The definition of "family" on mathworld ( is a collection of objects of the form $\{a_i\}_{i \in I}$, where $I$ is an index set. But, I think a set can also be represented in this form. So, what is the difference between the concept family and the concept set? Is there any example of a collection of objects that is a family, but not a set, or reversely?

Many thanks!

share|cite|improve this question
Yes, every set can be represented as a family, indexed by itself: $S = \{a\}_{a\in S}$. In ZF, every family of sets is itself a set, necessarily. We tend to think of a family as the "result" of applying the Axiom of Substitution, that is, we put some emphasis on the index set, and think of a function from the index set $I$ to the family which maps $i\in I$ to the element of the set corresponding to $i$. – Arturo Magidin Apr 27 '11 at 17:06
Given a space $\Omega$. A set is $A\in\mathcal{P}\Omega$. A family is $\mathcal{A}\in\mathcal{P}^2\Omega$. – Alexander Frei Jan 6 at 8:00
up vote 18 down vote accepted

Strictly speaking, a family is a function $I \to U$, where $I$ is an index set and $U$ is a universe that contains the members of the family.

Strictly speaking, a set is not a family indexed by itself: it's either the image of the family, if the members are the elements, or the union of that family, $\cup_{x\in X} \{x\}$, if the members are singletons.

share|cite|improve this answer
A family never contains repetitions: $\{\varnothing,\varnothing\}=\{\varnothing\}$ But a function may have: $\pm1\mapsto\varnothing$ – Alexander Frei Jan 6 at 8:09

A family is indeed a set, and it is defined by the indexing -- as you observed.

Just as well every set $A$ is a family of the form $\{i\}_{i\in A}$.

However often you want to have some property about the index set (i.e. some order relation, or some other structure) that you do not require from a general set. This addition structure on the index can help you define further properties about the family, or prove things using the properties of the family (its elements are disjoint, co-prime, increasing in some order, every two elements have a supremum, and so on).

share|cite|improve this answer

As @lhf says, a family is a function $I\to U$. While it is true that every set can be though of as a family indexed by itself, not every family is of this form. For example, a single element of $U$ may occur more than once in a family (with different indices).

share|cite|improve this answer

'Family' can have the pedestrian meaning of 'a set of sets'. So instead of confusing the reader with 'set' too many times, you can say 'family of sets' instead'. For example, a hypergraph (or really the edges of a hypergraph) is a 'family of sets of vertices'.

share|cite|improve this answer
It is also noteworthy to mention that a "set of sets" can also be referred to as a "collection of sets." – JavaMan Apr 27 '11 at 18:37

Sometime one encounters a phrase like "family of sets with property X".

In this case the use of "family" as a mathematical object is more or less informal and not well defined (within ZFC), since such thing isn't necessarily a set. You should read "for each member of the family ..." as an abbreviation of "for each set that has property X ..." and try not to think of it as a real set too much. If you do, you might run into trouble sooner or later. For instance if you start wondering whether the family of all non-empty sets contains itself -- this is all related to Russel's paradox of course.

(There is a way to get rid of this problem by introducing classes into your set theory.)

share|cite|improve this answer
Myself, I have yet to encounter a class-family that was not explicitly been called "Let $\{a_\alpha\}$ be a class of ...". Strictly speaking, of course, you are correct. – Asaf Karagila Apr 27 '11 at 18:46
@Asaf Karagila: I'm sure I have seen things like "let $\mathcal S$ be the family (or collection) of all solvable groups, i.e let $G\in\mathcal S$ abbreviate G is solvable ", but I can't remember where I've seen that. – Myself Apr 27 '11 at 19:04

Family is another way to express function.

If $X$ and $Y$ are sets, a function from $X$ to $Y$ is a relation $f$ such that $\operatorname{dom} f = X$ and for each $x \in X$ there is a unique element $y$ in $Y$ with $(x, y) \in f$.

$X$ is index set, the range of the function is indexed set. The function $f$ is called family.

A relation is a set of ordered pairs, ordered pair, eg: $(a,b)$, defined by $\big\{\{a\}, \{a,b\}\big\}$, so $a$ is the first coordinate, $b$ is the second.

Quote from the mathworld link:

Every set $X$ gives rise to a family

$f:X\to X,\, f(x)=x$

share|cite|improve this answer
Welcome to math.SE: since you are new, I wanted to let you know a few things about the site. The question you have answered is an old question, that already has vife answers. One of these is even accepted. We encourage the answering of questions, but please make shure that they add something new. Also, on this site we use MathJaX to format our maths. Here you can find a basic tutorial. – gebruiker Jan 5 at 18:06

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.