ordered ring

measure）定义为它的线性闭包。 线性和仿射组合可以在任何域或环上定义，但锥组合和凸组合需要“正数”的概念，因此只能在有序域或有序环（英语：ordered ring）上定义，最常见的例子是实数。 如果仅允许乘以标量而不允许相加，则我们得到一个（不一定是凸的）圆锥；通常来说，定义中只允许乘以正标量。

permutation(L,S), ordered(S). /* L為原list, S為排序好的list, 此為permutation關係(built-in) */ ordered([]). /* 表empty list視為排序好的list */ ordered([_|[]]). /* 只有一元素之list視為排序好的list

(deftemplate male "" (declare (ordered TRUE))) (deftemplate female "" (declare (ordered TRUE))) (deftemplate parent "" (declare (ordered TRUE))) (deftemplate father

overcome the ordered alignments. As the temperature approaches 0 K, the 熵 decreases to zero, that is, the disorder decreases and becomes ordered. This occurs

sending it to Germany. Göring also commanded that the loot would first be divided between Hitler and himself. Hitler later ordered that all confiscated works