Sea (X), i ∈ I una familia de conjuntos no vacíos y sea X su producto, con las proyecciones pr.