Определение. Фактором-множества называется множество D по отношению эквивалентности R называется множество всех его классов эквивалентности

Фактором-множества называется множество D по отношению эквивалентности R называется множество всех его классов эквивалентности.

Фактор-множество множества D по отношению к R обозначается так D⁄R.

D⁄R {a ⁄ R| a D}.

Для отношения принадлежности к одной студенческой группе классом эквивалентности является множество студентов одной группы. Фактор-множество множества студентов СГТУ по этому отношению эквивалентности представляет собой множество студенческих групп СГТУ.