= factor system

olemus
kõigi ekvivalentsiklasside x/S hulk,
kus S on mingi ekvivalents hulgas H
=
the set of all equivalence classes x/S ,
where S is an equivalence in a set H

tähis: H/S

ülevaateid
https://en.wikipedia.org/wiki/Factor_system

http://people.brandeis.edu/~igusa/Math131b/factor.pdf