Conclusión, [x] ⊂ [y].