别通常被忽略。以这种观点来看，我们说 formula_9 是定义良好的如果图表交换，即 formula_6 穿过 formula_12 ，使得formula_13，这里 formula_14 是典范投影映射 formula_15 。作为一个例子，考虑实数如下定义的等价关系：formula_16 如果存在整数 formula_17 使得formula_18，这里 formula_14 为圆周率。商集 formula_7 可以和一个圆周等价，作为等价类 formula_21 表示一个角度（事实上这是 for