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