Equivalence relation ↩

Metadata

aliases: []
shorthands: {}
created: 2021-11-14 20:17:50
modified: 2022-01-10 04:13:04

An equivalence relation is a binary relation that is reflexive, symmetric and transitive.

Formally: A binary relation on a set is an equivalence relation if and only if it is reflexive, symmetric and transitive, i.e. :

Comments