Equivalence class
From Maths
Definition
Given an Equivalence relation [ilmath]\sim[/ilmath] the equivalence class of [ilmath]a[/ilmath] is denoted as follows:
[math][a]=\{b|a\sim b\}[/math]
Equivalence relations partition sets
An equivalence relation is a partition
Equivalence classes are either the same or disjoint
This is the motivation for how cosets partition groups.
TODO: Add proofs and whatnot
