基本區域

設 為 模群 Gamma 的一個子群。則上半平面 的一個開子集 被稱為 的基本區域，如果

1. 中沒有兩個不同的點在 下等價，

2. 如果 , 則在 的閉包中存在一個點 ，使得 與 在 下等價。

模群 Gamma 的基本區域 由 給出，使得 且 ，如上圖所示，其中 是 的複共軛 (Apostol 1997, p. 31)。 Borwein 和 Borwein (1987, p. 113) 對區域的邊界定義略有不同，包括了 的邊界點。