Cualquier conjunto de cosas que obedezcan las reglas de una (o dos) operaciones es, por definición, un grupo (o anillo), y obedece a todos los teoremas sobre grupos (o anillos).