A los conjuntos cuyos elementos son a su vez conjuntos los llamaremos familias o clases, lo cual se expresa como formula_65 donde formula_7 es un conjunto cuyos elementos son los conjuntos formula_67.