Let X be an arbitrary poset. A partial function f with n variables defined over X is said to be monotone if the following condition is satisfied: if x/sub 1//spl les/y/sub 1/,..., x/sub m//spl les/y/sub n/, and both the values f(x/sub 1/,..., x/sub n/) and f(y/sub 1/,....y/sub n/) are defined, then f(x/sub 1/,..., x/sub n/)/spl les/f(y/sub 1/,...,y/sub n/) It is shown that the set of all monotone partial functions has a finite basis.
展开▼
机译：让X成为任意专家。如果满足以下条件，则据说具有在X上定义的n变量的部分函数f如果满足以下条件：如果x / sub 1 // spl les / y / sub 1 /，...，x / sub m // spl les / y / sub n /，和定义值f（x / sum 1 /，...，x / sub n /）和f（y / sub 1 /，.... y / sum n /） ，然后f（x / sub 1 /，...，x / sub n /）/ spl les / f（y / sub 1 /，...，y / sub n /）显示所有的全部单调部分功能有一个有限的基础。
展开▼
