Отношение эквивалентности 12

Множество классов эквивалентности, отвечающее отношению эквивалентности \sim , обозначается символом X/ и называется фактор-множеством относительно \sim . При этом сюръективное отображение.