>>328と>>325の修正

定義
L を有界(>>156)な束(>>156)とする。
a ∈ L に対して a∧x = 0、a∨x = 1 となる x を a の補元(complement)と言う。
a の補元が一意に存在するとき a の補元を a’または¬aと書く。