Каноническое отображение
такое отображение множества в его фактормножество, что образом любого элемента является класс эквивалентности, содержащий этот элемент
из открытого покрытия ограниченного замкнутого множества в Rn можно выделить конечное подпокрытие этого множества
такое отображение множества в его фактормножество, что образом любого элемента является класс эквивалентности, содержащий этот элемент
символ, обозначающий мощность множества; в случае конечного множества натуральное число: число элементов в множестве
цепь, не содержащая цикла (т. е. все ее вершины различны)