▼ | Set of symbols |
▼ | Alphabet |
▼ | Deduction system |
▼ | Theory |
▼ | Zermelo-Fraenkel set theory |
▼ | Set |
▼ | Binary cartesian set product |
▼ | Binary relation |
▶ | Antisymmetric binary relation |
▶ | Asymmetric binary relation |
▶ | Constancy relation |
▶ | Digraph |
▶ | Equivalence relation |
▶ | Reflexive binary relation |
▶ | Transitive binary relation |