Se cumplen las propiedades siguientes: