Каноническое отображение
такое отображение множества в его фактормножество, что образом любого элемента является класс эквивалентности, содержащий этот элемент
геометрическое понятие, означающее, что l2 имеет с l1 в точке M касание максимального порядка по сравнению с любой кривой из некоторого заранее данного семейства кривых {l2}
такое отображение множества в его фактормножество, что образом любого элемента является класс эквивалентности, содержащий этот элемент
максимальный связный подграф данного графа
цепь, не содержащая цикла (т. е. все ее вершины различны)