• Mag (magmas)
• (M)
• •
• associative
• commutative
• Homomorphisms
• Submagmas
• Free magma
• identity
• 1_M
• absorbing element
• 0_M