Unital Magmas (Algebraic Structures)
  • TODO