El conjunto formula_3 es llamado el conjunto subyacente de formula_1, Los elementos en formula_4 son llamados conjuntos independientes y los subconjuntos del conjunto potencia de formula_3 que no están en formula_4 son llamados conjuntos dependientes.