If then proof is complete.Originally Posted by dcapdogg
Then, thus, are disjoint thus,
The proof depends upon what axioms and definitions are established.
is the set of elements that are in and in .
By definition of complement: .If , then
. . Hence, there are no elements common to and .They are disjoint.