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