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