Ante un conjunto, necesariamente no vacío, cuando se parte desde el establecimiento de un "operador externo" ¬, el par (O, ¬) nunca podrá alcanzar la estructura de grupo mediante construcción, aunque puede estructurar algebraicamente en otras formas: