En álgebra abstracta la mayor parte de las estructuras algebraicas del tipo (E, #); siendo E un conjunto no nulo y # un operador que puede ser interno o externo, quedan establecidas gracias a una definición parcial de la axiomática de grupo.