x ↝ y y y ↝ z, tenemos un camino x ↝ z.