Usuario:Hextor26/Taller
Group-like structures | |||||
---|---|---|---|---|---|
Totality | Associativity | Identity | Invertibility | Commutativity | |
Semigroupoid | Innecesaria | Required | Innecesaria | Innecesaria | Innecesaria |
Small category | Innecesaria | Required | Required | Innecesaria | Innecesaria |
Groupoid | Innecesaria | Required | Required | Required | Innecesaria |
Magma | Requerida | Innecesaria | Innecesaria | Innecesaria | Innecesaria |
Quasigroup | Requerida | Innecesaria | Innecesaria | Required | Innecesaria |
Unital magma | Requerida | Innecesaria | Required | Innecesaria | Innecesaria |
Loop | Requerida | Innecesaria | Required | Required | Innecesaria |
Semigroup | Requerida | Required | Innecesaria | Innecesaria | Innecesaria |
Monoid | Requerida | Required | Required | Innecesaria | Innecesaria |
Commutative monoid | Requerida | Required | Required | Innecesaria | Required |
Group | Requerida | Required | Required | Required | Innecesaria |
Abelian group | Requerida | Requerida | Requerida | Requerida | Requerida |
↑ Esta plantilla está obsoleta, véase el nuevo sistema de referencias.The closure axiom, used by many sources and defined differently, es equivalente. |