Die Inklusion ⊇ {\displaystyle {}\supseteq } gilt immer. Es sei also x ∈ a ∩ b {\displaystyle {}x\in {\mathfrak {a}}\cap {\mathfrak {b}}} und seien a ∈ a {\displaystyle {}a\in {\mathfrak {a}}} und b ∈ b {\displaystyle {}b\in {\mathfrak {b}}} Elemente mit a + b = 1 {\displaystyle {}a+b=1} . Dann ist