Entonces, cuando X', Y' son subconjuntos de B se cumple que: