Given any set , a family of subsets of consists of an index set and and a function from to the power set of . This is actually nothing special; this is the normal meaning of ‘family’ when taking a family of things that form a set: a family of foos is any function to the set of foos.
However, in predicative mathematics, we do not accept that the subsets of form a set; that is, we believe that the power set is really a proper class. So on the face of it, a family of subsets would also be a large thing. However, there is an alternative definition that is not only appropriate predicatively but also often provides a useful perspective in any case: A family of subsets of consists of an index set and a binary relation between elements of and elements of .
Note that we may have for all without having ; this is because (as in any family) two different indices may index the same subset. However, many of the operations performed on families of subsets, such as intersection and union, depend only on the image of the function . So it is common to assume that a family of subsets of is simply a subset of . (Besides this, not all authors agree with this page on even the general meaning of the word ‘family’.)
Last revised on November 20, 2022 at 01:49:19. See the history of this page for a list of all contributions to it.