Y se cumplen las siguientes propiedades: