===== Template entry =====
==== Meta ====

| @#FF8866: rule        | @#FF8866: basic logical rule |
| @#55CCEE: context     | @#55CCEE: contex |
| @#FFBB00: definiendum | @#FFBB00: definiendum |
| @#FF9944: definition  | @#FF9944: definition |
| @#AAFFAA: inclusion   | @#AAFFAA: subset specification |
| @#BBDDEE: let         | @#BBDDEE: local definition |
| @#DDDDDD: range       | @#DDDDDD: domain specification |
| @#FFFDDD: for all     | @#FFFDDD: universal quantification |
| @#FFFDDD: exists      | @#FFFDDD: existential quantification |
| @#55EE55: postulate   | @#55EE55: axiom |
| @#EEEE55: predicate   | @#EEEE55: predicate definition | 

-----
=== Elaboration ===
=== Alternative definitions ===
=== Universal property ===
=== Discussion ===
=== Theorems ===
=== Examples ===
=== Reference ===
Wikipedia: [[http://en.wikipedia.org/wiki/Magma_%28algebra%29|Magma]]

-----
=== Related ===
[[Entry structure]]