得formula_13，这里 formula_14 是典范投影映射 formula_15 。作为一个例子，考虑实数如下定义的等价关系：formula_16 如果存在整数 formula_17 使得formula_18，这里 formula_14 为圆周率。商集 formula_7 可以和一个圆周等价，作为等价类 formula_21 表示一个角度（事实上这是 formula_22 的加法子群 formula_23 的陪集空间 formula_24）。现在如果 formula_25 是正弦函数，则 for