Фундамента́льная о́бласть дискре́тной гру́ппы $\Gamma$ преобразований топологического пространства $X$, подмножество $D \subset X$, содержащее элементы из всех орбит группы $\Gamma$, причём из орбит общего положения – ровно по одному элементу. Имеются различные варианты точного определения фундаментальной области. Иногда фундаментальной областью называется любое подмножество, принадлежащее заданной $\sigma$-алгебре (например, борелевское) и содержащее по одному представителю из каждой орбиты. Однако если $X$ – топологическое многообразие, то фундаментальной областью обычно называется подмножество $D \subset X$, являющееся замыканием открытого подмножества и такое, что подмножества $\gamma D$, $\gamma \in \Gamma$, не имеют попарно общих внутренних точек и образуют локально конечное покрытие пространства $X$. Например, в качестве фундаментальной области группы параллельных переносов плоскости $\mathbb R^2$ на целочисленные векторы может быть взят квадрат $$\left\{(x, y)\in \mathbb R^2 \mid 0 \leqslant x \leqslant 1, \quad 0 \leqslant y \leqslant 1\right\}.$$Выбор фундаментальной области, как правило, неоднозначен.