Logic

Total order

Set inclusion

Contrapositive

Converse

Biconditional

Vacuous truth

Conditional statement

Associativity

Intuitionistic logic

Closure system

Bottom element

Lattice theory

Union

Subset

Injective function

Isomorphism class

Equivalence class

Expressio unius est exclusio alterius

Hausdorff maximal principle

Axiom of Choice

Transfinite induction

Well-order

Indeterminate

Interval notation

Law of excluded middle

Negation

Case distinction

Free object

Pigeonhole principle

Strict order relation

Minimal element

Well-founded relation

Well-founded induction

t-structure

Lemma

Universal statement

Logic

Graded reverse lexicographic order

Deontic modality

equivalence of categories

Greatest element

Distributive Lattice

Meet

Fixed point

Equivalent equations

Inductively defined set

Weak induction

Informal validity

Contraction

De Morgan’s laws