Геоме́трия — раздел математики, изучающий пространственные структуры и отношения, а также их обобщения. В практических задачах геометрия позволяет предсказывать геометрические размеры тела, зная другие геометрические размеры этого тела с помощью известных геометрических законов.
Непреры́вное отображе́ние — отображение из одного пространства в другое, при котором близкие точки области определения переходят в близкие точки области значений.
Функциона́льный ана́лиз — раздел анализа, в котором изучаются бесконечномерные топологические векторные пространства и их отображения. Наиболее важными примерами таких пространств являются пространства функций.
Лине́йное отображе́ние — обобщение линейной числовой функции на случай более общего множества аргументов и значений. Линейные отображения, в отличие от нелинейных, достаточно хорошо исследованы, что позволяет успешно применять результаты общей теории, так как их свойства не зависят от природы величин.
Бие́кция — отображение, которое является одновременно и сюръективным, и инъективным. При биективном отображении каждому элементу одного множества соответствует ровно один элемент другого множества, при этом определено обратное отображение, которое обладает тем же свойством. Поэтому биективное отображение называют также взаимно однозначным отображением (соответствием).
Унарная операция — математическая операция над одним операндом и возвращающая один результат, то есть операция с единственным входом и единственным выходом — унарное отображение 
.
Фу́нкция — соответствие между двумя множествами, при котором каждому элементу одного множества соответствует единственный элемент другого.
Проективное преобразование проективной плоскости — это преобразование, переводящее прямые в прямые.
Де́йствие гру́ппы на некотором множестве — это гомоморфное сопоставление каждому элементу группы некоторого преобразования этого множества.
Диффеоморфизм — отображение определённого типа между гладкими многообразиями.
Динамическая система — множество элементов, для которого задана функциональная зависимость между временем и положением в фазовом пространстве каждого элемента системы. Данная математическая абстракция позволяет изучать и описывать эволюцию систем во времени.
Планиме́трия — раздел евклидовой геометрии, изучающий двумерные (одноплоскостные) фигуры, то есть фигуры, которые можно расположить в пределах одной плоскости: треугольники, окружности, параллелограммы и т. д.
Ве́кторная гра́фика — способ представления графических объектов и изображений в компьютерной графике, основанный на математическом описании элементарных геометрических объектов, обычно называемых примитивами, таких как: точки, линии, сплайны, кривые Безье, круги, окружности, эллипсы, многоугольники.
Автоморфизм — изоморфизм между математическим объектом и им самим; отображение, изменяющее объект с сохранением всех его изначальных свойств. Множество всех автоморфизмов объекта образует группу автоморфизмов, которую можно рассматривать как обобщение группы симметрий объекта.
Критической точкой дифференцируемой функции 
называется точка, в которой её дифференциал обращается в нуль. Это условие эквивалентно тому, что в данной точке все частные производные первого порядка обращаются в нуль, геометрически оно означает, что касательная гиперплоскость к графику функции горизонтальна. В простейшем случае n=1 это значит, что производная 
в данной точке равна нулю. Это условие является необходимым для того, чтобы внутренняя точка области могла быть точкой локального минимума или максимума дифференцируемой функции.
Эргодичность — специальное свойство некоторых динамических систем, состоящее в том, что в процессе эволюции почти каждое состояние с определённой вероятностью проходит вблизи любого другого состояния системы.
Формальная семантика — дисциплина, изучающая семантику (интерпретации) формальных и естественных языков путём их формального описания в математических терминах.
Инвариа́нт — свойство некоторого класса (множества) математических объектов, остающееся неизменным при определённого типа преобразованиях.
