y es transitiva