Каноническое отображение такое отображение множества в его фактормножество, что образом любого элемента является класс эквивалентности, содержащий этот элемент