equivalence_relation=

introduction==

%%visits: 3 ## intuition== Equivalence relation are some relation on a [[set]] G satisfying: - Reflexiv := ∀g ∈ G, g g - Symmetri := ∀a, b ∈ G, a b ⟹ b a - Transitiv := ∀a, b, c ∈ G, a b, b c ⟹ a c

We can also have things like a ⟹ b ⟹ c ⟹ a which makes them all equivalent. ## rigour== ## exam clinic== ## examples== Examples of relations that are not equivalence_relation s

Non examples of Reflexive

(ℝ, >)

Non examples of Symmetric

(ℝ, ≥)

Non examples of Transitive

resources==

tags :math:

backlinks