补充资料：闭包关系

闭包关系
closure relation

　　闭包关系「d渭u比比lati阅;、，aM峨a““，oT“o山en，，el.闭包运算(elosure operation)，偏序集M中的 M到它自身的单值映射，使每个元素a任M，映为元素互〔M，称为a的闭包(dosure)，使得下列条件戍立:l)a‘a;2)若a(b，则丁毛b;以及3)贡=丁.如果元素a就是它自己的闭包，则称a是闭的(d“ed).在集M中，只要定出它所有的闭元，就唯一地确定了M的一个闭包运算.特别在M是由任意集合X的所有子集构成的集合，按集合的包含关系为序时，我们可在X上来谈论闭包运算.在任意集合X上，一个闭包运算可以这样来规定:任取一个由子集所成的族，其中包含X自身，而且关于任意多的交是封闭的，以这个族作为X的闭子集族.两个带有闭包运算的偏序集，如果存在一个偏序集的同构，使得闭集的象和闭集的原象都是闭的，则称它们是同构的.对于由X的所有子集所成的集合来说，一类在数学上有相当重要性的闭包运算要求满足下述附加条件:空集是闭集，X的二个子集的并的闭包等于它们的闭包的并.满足此条件的闭包运算称作集合x上的拓扑(topology on the set)·【补注】闭包运算又称作印粤纂于(dosure Operator)或攀篡于(joino沐ra‘or)(见[l])·集合X的一族子集，如果在任意交下是封闭的，则称之为闭包系(d洗uresystem).例如仿射空间A中所有子空间所成的族，如上所述，它给出A的子集上的一个闭包运算. 与有限并可交换的闭包运算，为表示崇敬【AI]的作者，常称作Kuratowski闭包运算(Kuratowskid谓ureo讲ration).具有闭包运算的压双e代数(Boolean al罗-bra)有时称作甲粤华攀(d，ure al罗bra)(见[A2])·
　　

说明：补充资料仅用于学习参考，请勿用于其它任何用途。