Template entry
Meta
| rule | basic logical rule |
| context | contex |
| definiendum | definiendum |
| definition | definition |
| inclusion | subset specification |
| let | local definition |
| range | domain specification |
| for all | universal quantification |
| exists | existential quantification |
| postulate | axiom |
| predicate | predicate definition |
Elaboration
Alternative definitions
Universal property
Discussion
Theorems
Examples
Reference
Wikipedia: Magma
Related
