Equivalence Relation
A
Relation
R
𝑅
R
is an
equivalence relation
if it is
Reflexive
,
Symmetric
, and
Transitive
.
Backlinks
Free Product of Groups
Coequaliser
Semiring Congruence
Smash Product of Pointed Types
Monoid Congruence
Tensor Product of Commutative Monoids
Bourne Congruence
Effective Quotient
Partition of a Set