Una familia de subconjuntos de X es una familia de elementos del conjunto potencia de X, P(X)---el conjunto formado por los subconjuntos de X.