フォン・ノイマン環(あるいはw*-環) "m" の射影子たちの間に順序関係 "e" ≤ "f" ≡ "ef" ＝ "e" を考えるとき、"m" の射影子全体の集合は完備束をなす。