Example image of eyePlorer eyePlorer map for 'Equality (mathematics)': Binary relation Equivalence relation Reflexive relation Symmetric relation Transitive relation Antisymmetric relation Partially ordered set Equation Expression (mathematics) Identity (philosophy) Axiom Identity of indiscernibles Property (philosophy) Material conditional Predicate (mathematical logic) Universal quantification Theorem Well-formed formula Axiom schema First-order logic Functional predicate 0 (number) Division by zero Real number Mathematical proof Approximation Difference Logical conjunction Almost everywhere Algebra of sets Apartness relation Coreflexive relation Equaliser (mathematics) Equals sign Identity (mathematics) Inequality Kirchhoff's circuit laws Logical equality Axiom of extensionality Axiom of pairing Cancellative semigroup Distinct Kernel (set theory) Parabola Reflexive closure Relational operator 0.999... Fatou–Lebesgue theorem Identity function InHour