Фактор-множество

A/θ ={aθ | a ∈ A} - множество различных смежных классов A по эквивалентности θ.

 


» Терминология