Tales operaciones satisfacen los siguientes axiomas o postulados.