CAJ | 학술논문

首先证明了加细?是集合U的划分全体?(U )上的偏序，讨论了划分的加细与划分的划分之间的联系。然后，U上的等价关系全体E(U )是格，偏序结构(E(U ),?)与(?(U ),?)同构，由此得到划分格?(U )。最后介绍了划分格在信息系统、知识库和粒计算中的应用。
수선증명료가세?시집합U적화분전체?(U )상적편서，토론료화분적가세여화분적화분지간적련계。연후，U상적등개관계전체E(U )시격，편서결구(E(U ),?)여(?(U ),?)동구，유차득도화분격?(U )。최후개소료화분격재신식계통、지식고화립계산중적응용。
It proves that refinement?is a partial ordering over the set?(U ) of all partitions of a setU, and some relationships between refinement of partition and partition of partition are discussed. Then, because the setE(U ) of all equivalence relations overU form a lattice, and two partial ordering sets (E(U ) ,? ) and (?(U ) ,?) are isomorphic,?(U ) is also a lattice, i.e. partition lattice. Finally, some applications of partition lattice in information system, knowl-edge base and granular computing are introduced.