Lo que prueba que B(x) ⊂ B(y).