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.