Евкли́дово простра́нство в изначальном смысле — это пространство, свойства которого описываются аксиомами евклидовой геометрии. В этом случае предполагается, что пространство имеет размерность, равную 3, то есть является трёхмерным.
Теория чисел или высшая арифметика — раздел математики, первоначально изучавший свойства целых чисел. В современной теории чисел рассматриваются и другие типы чисел — например, алгебраические и трансцендентные, а также функции различного происхождения, которые связаны с арифметикой целых чисел и их обобщений.
Крива́я или ли́ния — геометрическое понятие, определяемое в разных разделах математики различно.
Проекти́вная пло́скость — двумерное проективное пространство. Важным частным случаем является вещественная проективная плоскость.
Стереографи́ческая проекция — отображение определённого типа из сферы с одной выколотой точкой на плоскость.
Аффи́нное преобразование, иногда афинное преобразование — отображение плоскости или пространства в себя, при котором параллельные прямые переходят в параллельные прямые, пересекающиеся — в пересекающиеся, скрещивающиеся — в скрещивающиеся.
Сфе́ра Ри́мана — наглядное изображение множества 
в виде сферы, подобно тому, как множество действительных чисел изображают в виде прямой и как множество комплексных чисел изображает в виде плоскости. По этой причине термин «сфера Римана» часто используется как синоним к термину «множество комплексных чисел, дополненных бесконечно удалённой точкой», наряду с термином «расширенная комплексная плоскость».
Теорема Минковского о выпуклом теле — одна из теорем геометрии чисел, послужившая основой выделения геометрии чисел в раздел теории чисел. Сформулирована Германом Минковским в 1896 году.
Однородные координаты ― система координат, используемая в проективной геометрии, подобно тому, как декартовы координаты используются в евклидовой геометрии.
Формула Пи́ка — классический результат комбинаторной геометрии и геометрии чисел, даёт выражение для площади многоугольника с целочисленными вершинами.
Псе́вдоевкли́дово простра́нство — конечномерное вещественное векторное или аффинное пространство с невырожденным индефинитным скалярным произведением, которое называют также индефинитной метрикой. Индефинитная метрика не является метрикой в смысле определения метрического пространства, а представляет собой частный случай метрического тензора.
Решётка — набор векторов евклидова пространства 
, образующий дискретную группу по сложению.
Группа симметрии некоторого объекта ― группа всех преобразований, для которых данный объект является инвариантом, с композицией в качестве групповой операции. Как правило, рассматриваются множества точек n-мерного евклидова пространства и движения этого пространства, но понятие группы симметрии сохраняет свой смысл и в более общих случаях.
Комбинаторная или дискретная геометрия — раздел геометрии, в котором изучаются комбинаторные свойства геометрических объектов и связанные с ними конструкции. В комбинаторной геометрии рассматривают конечные и бесконечные дискретные множества или структуры базовых однотипных геометрических объектов и ставят вопросы, связанные со свойствами различных геометрических конструкций из этих объектов или на этих структурах. Проблемы комбинаторной геометрии простираются от конкретных «предметно»-комбинаторных вопросов — замощения, упаковка кругов на плоскости, формула Пика — до вопросов общих и глубоких, таких как гипотеза Борсука, проблема Нелсона — Эрдёша — Хадвигера.
Симметрия встречается не только в геометрии, но и в других областях математики. Симметрия является видом инвариантности, свойством неизменности при некоторых преобразованиях.
Арифметическая группа — это группа, получаемая как целые точки алгебраической группы, например, 
Арифметические группы возникают естественным образом при изучении арифметических свойств квадратичных форм и других классических областей теории чисел. Они также являются источником для очень интересных примеров римановых многообразий, а потому представляют интерес для дифференциальной геометрии и топологии. Наконец, эти две области объединяются в теорию автоморфных форм, которая является фундаментальной в современной теории чисел.
K3-поверхность — связная односвязная компактная комплексная поверхность, допускающая нигде не вырожденную голоморфную дифференциальную форму степени два. В алгебраической геометрии, где рассматриваются многообразия над полями иными, нежели комплексные числа, K3-поверхностью называется алгебраическая поверхность с тривиальным каноническим расслоением, не допускающая алгебраических 1-форм.
Граф Эрдёша — Диофанта — это множество точек на плоскости с целочисленными координатами, расстояния между которыми являются целыми числами, и которые нельзя расширить добавлением других точек. Эквивалентно это множество можно описать как полный граф с находящимися на целочисленной решётке 
вершинами, такой что попарные расстояния между вершинами являются целыми числами, в то время как все остальные точки решётки имеют нецелочисленное расстояние по меньшей мере до одной вершины.
