We will spend most of our time during this meeting on proving that two sets (usually defined by some set operations) are always equal, e.g. we will prove, that for all sets . You already know from the lecture that there are three methods, out of which we will prefer the third one, because it is the most general method and it will be useful further in the course.

- Venn’s diagrams method. We draw a diagram of the set which is on the left side of the equation and a diagram of the set which is on the right, computing the subsequent set operations. This method works for at most 3 sets, because it is impossible to draw more independent sets on a plane in an easy way (it is possible but not with circles and becomes definitely more complicated when number of sets increases).

- independent family method. We construct an independent family of sets, i.e. such family of sets that each intersection of sets or their complements is non-empty. For three sets it is sufficient to take the set and set . Then it is sufficient to check the equality on this family of sets — and we know it will work for any family. In our case we calculate left-hand side: and right-hand side: , and we are done.
- the third method starts with an observation that if and only if and . We can therefore split our proof into two parts: proving the first inclusion and proving the second one.

But how to prove that ? We start our prove by taking form , so let . Next by a sequence of implications we prove that also , which proves the inclusion.

Sometimes proving that , the proofs of and of can be easily done simultaneously. We simply pay attention whether the implications in the proof of that if , then , work also in the other direction. Whether the implications are actually equivalences.

When we prove that a given statement if false, it is sufficient to show a counterexample, i.e. an example of such sets that the statement is false for them.

In our case:

We prove that: . Let , then oraz , so lub , but , so , so or , therefore .

Now we prove that: : Let , so or , therefore lub , but in both cases if . Therefore , but , so .

When we prove that one statement holds if and only if some other statement holds, then usually we split the proof into two proofs of left side and right side implications.

Sometimes proving that an implication holds we use a proof by contradiction. We assume the assumption and a negation of the hypothesis, and next we try to get a contradiction.