样（比如，formula_1加formula_2总是formula_3）我们总得到同样的结果。formula_4只要 formula_5，则定义有意义，从而 formula_6 在 formula_7 上定义良好。函数在 formula_7 上有不同定义域，应该视为不同的映射 formula_9，尽管这种差别通常被忽略。以这种观点来看，我们说 formula_9 是定义良好的如果图表交换，即 formula_6 穿过 formula_12 ，使得formula_13，这里 formula_14 是典范投影