If
[math]R
[/math] is an
equivalence relation on a
set [math]A
[/math], then
A mod R (written
[math]\href{/cs2800/wiki/index.php/A/R}{A/R}
[/math]) is the
set of all
equivalence classes of
[math]A
[/math] by
[math]R
[/math]. In other words,
[math]\href{/cs2800/wiki/index.php/A/R}{A/R} := \{\href{/cs2800/wiki/index.php/%E2%9F%A6a%E2%9F%A7}{⟦a⟧} \href{/cs2800/wiki/index.php/%5Cmid}{\mid} a \href{/cs2800/wiki/index.php/%E2%88%88}{∈} A\}
[/math].
