Sean f: X → Y, (A) una familia de subconjuntos de X y (B_j) una familia de elementos de Y