Index of axioms

• ABS Absorption | 𝑨𝒃𝒔 | 𝙰𝙱𝚂

• ANN Annihilation | 𝒜𝓃𝓃 | 𝙰𝙽𝙽

• CLO Closure (Totality) | 𝓒𝓵𝓸 | 𝙲𝙻𝙾

• INV Invertibility | Inv | 𝙸𝙽𝚅

• CANC Cancellation 𝙲𝙰𝙽

• ASS Associativity 𝙰𝚂𝚂

  • ASSl Left associativity 𝙰𝚂𝚂𝙻

  • ASSr Right associativity 𝙰𝚂𝚂𝚁

• COMM Commutativity 𝙲𝙾𝙼

  • COMMl Left commutativity 𝙲𝙾𝙼𝚁

  • COMMr Right commutativity 𝙲𝙾𝙼𝙻

• IDE Identity (Total Identity) 𝙸𝙳

  • IDl Left Identity 𝙸𝙳𝙻

  • IDr Right Identity 𝙸𝙳𝚁

𝙰𝙱𝚂 𝙰𝙽𝙽 𝙲𝙻𝙾 𝙸𝙽𝚅 𝙲𝙰𝙽 𝙰𝚂𝚂 𝙰𝚂𝚂𝙻 𝙰𝚂𝚂𝚁 𝙲𝙾𝙼 𝙲𝙾𝙼𝚁 𝙲𝙾𝙼𝙻 𝙸𝙳 𝙸𝙳𝙻 𝙸𝙳𝚁 𝙼𝙾𝙽

𝚁𝙴𝙵 𝙸𝚁𝚁𝙴𝙵 𝙲𝙾𝚁𝙴𝙵 𝚀𝚁𝙴𝙵 𝚂𝚈𝙼 𝙰𝚂𝚈𝙼 𝙰𝙽𝚃𝙸𝚂𝚈𝙼 𝚃𝚁𝙰𝙽𝚂 𝙰𝙽𝚃𝙸𝚃𝚁𝙰𝙽𝚂