证明了所有新节点在原概念格中的直接父节点，只可能在某个节点和它的子节点中。

证明了所有新节点在原概念格中的直接父节点，只可能在某个节点和它的子节点中。的英文翻译

基本释义

• It is proved that immediate predecessor of all new nodes is only one of a node or successors in old concept lattice.