命題
X を束(過去スレ021の156)とする。
a、b ∈ X のとき、
V(a∧b) = V(a)∪V(b)
V(a∨b) = V(a)∩V(b)

a が補元(過去スレ021の369) a’を持てば
V(a’) = V(a)’

証明
V(a∧b) = V(a)∪V(b) と V(a∨b) = V(a)∩V(b) は明らかである。

V(a)∪V(a’) = V(a∧a’) = V(0) = Spec(X)
V(a)∩V(a’) = V(a∨a’) = V(1) = φ
よって、V(a’) = V(a)’
証明終