## 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