Sea X un conjunto no vacío y T una familia de subconjuntos de X.