Entonces, para todo w en [x] se cumple que w ∼ x, x ∼ z y z ∼ y, luego z ∼ y, o sea que w está en [y].