独立代表系

代表系的一种.设有集S,S上的一个独立关系是一个关系序列I1,I2,…,其中InSn(Sn是n个S的笛卡儿积,因而In是S上的n重关系),使以下特性成立:1.(x1,x2,…,xm)∈Im(x1,x2,…,xm-1)∈Im-1.2.(x1,x2,…,xm)∈Im(xπ(1),xπ(2),…,xπ(m))∈Im,π是{1,2,…,m}的每个置换 ......    （本文共 530 字 ）     [阅读本文] >>