tiene las siguientes propiedades, para todo x, y se cumple que: