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