The binary operations in that ring have as domain ordered pairs of functions, and as codomain functions.

• 因此定义域和对映域是函数一开始就确定的强制约束。