Por la simetría de la situación, tenemos que [y] ⊂ [x], por lo que concluimos que [x] = [y].