Un semigrupo cumple las dos siguientes propiedades: