Example image of eyePlorer eyePlorer map for 'Equivalence relation': Binary relation Mathematics Partition of a set Set (mathematics) Subset If and only if Equivalence class Transitive relation Setoid Equality (mathematics) Naive set theory Triangle Integer Modular arithmetic Domain of a function Function (mathematics) Image (mathematics) Logical equivalence Sentence (mathematical logic) Isomorphism Model theory New Foundations Ordinal number Set theory Universe Well-order Zermelo–Fraenkel set theory Equinumerosity Finite set Natural number Cardinal number Infinite set Transfinite number Ordered pair Rational number Cauchy sequence Green's relations Real number Semigroup Affine space Linear subspace Parallel (geometry) Thermodynamic equilibrium Thermodynamic system Euclidean relation Zeroth law of thermodynamics Partially ordered set Factorization Empty set Vacuous truth