Primero, considérese un conjunto dado formula_45, y luego considérese una colección formula_41 de subconjuntos de formula_45.