Rigorous Reasoning

Concept · Foundations

Equivalence Relation

A relation R on A that is reflexive, symmetric, and transitive; each equivalence relation partitions A into disjoint equivalence classes.

Why it matters

Equivalence relations are how mathematics formalizes 'sameness up to some aspect,' and the partition they induce is the engine behind quotient constructions.

Where this shows up

Units and lessons using this concept

Following the links will take you to the page where this term is introduced in context.

Related

Other concepts in Foundations

A, E, I, O PropositionsAccessibility RelationArgumentAtomic StatementAuthorial IntentBase RateBayes FactorBurden of Proof in InterpretationCalibrationCardinalityCartesian ProductCategorical Proposition