Sea (A), i en I, una familia de subconjuntos de un conjunto X.