そうして、この方法で定めた順序関係≤が導く交わりと結びがもともとの代数的な意味での束の演算∨,∧に一致することも確かめられる。
你现在可以检查以这种方式介入的关系≤定义了在其中二元交和并是通过最初运算∨{\displaystyle\vee}和∧{\displaystyle\wedge}而给出的一个偏序。