Каноническое отображение
такое отображение множества в его фактормножество, что образом любого элемента является класс эквивалентности, содержащий этот элемент
соответствие, являющееся одновременно однозначным, инъективным и сюръективным; отображение, являющееся одновременно инъекцией и сюръекцией; обозначается X ↔ Y (читается: биекция между множествами X и Y)
такое отображение множества в его фактормножество, что образом любого элемента является класс эквивалентности, содержащий этот элемент
множество, в котором не существует связного подмножества, содержащего более одной точки
функция ex, часто обозначаемая как exp x