Partial Magmas (Algebraic Structures)
  • TODO