La definición más general en teoría de conjuntos se refiere a una familia de conjuntos, un conjunto cuyos elementos son conjuntos a su vez: