En
matemáticas una
familia de conjuntos o una
colección de conjuntos es un
conjunto cuyos elementos son a su vez conjuntos. El nombre «familia» o «colección» se utiliza para enfatizar la naturaleza conjuntista de sus elementos y suele venir acompañado de una notación distinta.