Usuario:Hextor26/Taller

De Wikipedia, la enciclopedia libre
Group-like structures
Totality Associativity Identity Invertibility Commutativity
Semigroupoid No Innecesaria Sí Required No Innecesaria No Innecesaria No Innecesaria
Small category No Innecesaria Sí Required Sí Required No Innecesaria No Innecesaria
Groupoid No Innecesaria Sí Required Sí Required Sí Required No Innecesaria
Magma Sí Requerida No Innecesaria No Innecesaria No Innecesaria No Innecesaria
Quasigroup Sí Requerida No Innecesaria No Innecesaria Sí Required No Innecesaria
Unital magma Sí Requerida No Innecesaria Sí Required No Innecesaria No Innecesaria
Loop Sí Requerida No Innecesaria Sí Required Sí Required No Innecesaria
Semigroup Sí Requerida Sí Required No Innecesaria No Innecesaria No Innecesaria
Monoid Sí Requerida Sí Required Sí Required No Innecesaria No Innecesaria
Commutative monoid Sí Requerida Sí Required Sí Required No Innecesaria Sí Required
Group Sí Requerida Sí Required Sí Required Sí Required No Innecesaria
Abelian group Sí Requerida Sí Requerida Sí Requerida Sí Requerida Sí Requerida
 Esta plantilla está obsoleta, véase el nuevo sistema de referencias.The closure axiom, used by many sources and defined differently, es equivalente.