一致信任函数扩张定理

设X为一非空集,是X的子集的一个非空类。用(?)表示中集合的余集全体,即(?)={A~c|A∈(?)}。本文约定。