olemus
funktsioon hulgast H selle hulga faktorhulgale,
igale elemendile x vastendab
selle elemendi ekvivalentsusklassi x/S
=
function from the set H to the factor set of this set

ülevaateid
http://mathworld.wolfram.com/NaturalProjection.html

https://planetmath.org/naturalprojection

rakendusi
http://people.inf.ethz.ch/basin/pubs/tacas18.pdf