La propiedad anterior se conoce como transitividad.