n值方阵系统的两个完全系统

设有一集合N,含n个元素,凡以N为定义域及值域的k元函数叫做k元n值方阵。设由方障F_1(x_1,……,x_k),……,F_h(x_1,……,x_k)出发,利用迭置可以作出所有的n值方阵,我们说,F_1,……,F_h组成一个完全系(如果只能作出一切一元n值方阵,可以叫做半完全系,但下文并不特别讨论它)。