The set of these functions, together with an appropriate ordering, is again a "domain" in the sense of the theory.
这些函数的集合，与适当的排序一起，再次是这个理论意义上的一个"域"。