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