>> Welcome back to another screen cast about set identities. And in this video we're going to take a different track on proving theorems about sets by using some of the set identities that we saw in the previous video to our advantage. Let's just remind ourselves what those are. There are quite a lot of them, and you'll want to have these at your fingertips either printed out or just be prepared to pause and rewind. Just to point a few, a couple of these that we'll refer back to in this video. The associative laws tell us here that as long as I have a bunch of intersections or a bunch of unions that are grouped together, I can regroup them however I want, essentially. And the distributive laws give us a kind of like it's in arithmetic where we distribute multiplication over addition except we can distribution intersections over unions in a certain kind of way and unions over intersections in a certain kind of way. We also had this theorem here that had a few more identities. For example, this one we proved in the last screen cast. A minus b is equal to a intersection b complement. Now all of these we either did prove or could prove using the so called choose an element method, where if I'm trying to prove that two sets are equal to each other, which is what mainly all these results are, I would just show that the left-hand side is a subset of the right-hand side and then secondly prove that the right-hand side is a subset of the left-hand side. We're still going to do that sometimes, but we're going to invent a new way of working with set theorems that might be a little bit slicker as long as we can establish these basic properties. So let me show you what I mean here. So I have a proposition here that says for any sets a and b that are subsets of some universal set u, we have that a intersect b, union a intersect b complement is equal to a. We're going to prove that. First I want to prove a lemma here that turns out to be useful in our proof. And that just says for any set b, that's a subset of some universal set u. Then b union b complement is equal to u. That seems intuitively obvious if you just think about what a set and its complement are. B union with the set of all things that are not in b ought to be everything in the universe. And it turns out that that's true, but I want to give first of all a quick choose an element method proof of that statement. So let's do this the traditional way, to prove two sets are equal. I need to prove that one is a subset of the other and vice-versa. So first I'll show that b union b complement is a subset of u. And then a little bit later, I'll go the other direction and show that the universal set. The universal set. Everything in the universe fits within one of those two sets. So let's out the proof out for these. This should be fairly short. So if I want to show this first subset inclusion here, the first thing I'll do is choose an element. So let's let x belong to b union b complement. What that means by the definition of union is that either x belongs to b or x belongs to b complement. So this is a situation where I know that x is in either one set or the other, but I don't know which. So let me do this in two cases. So let's do case one where x is in b. And case two will be where x belongs to be complement. And in each case, what I like to show here is that x belongs to u. That's what I'm trying to get x into, ultimately. But if x is in b, then x belongs to u automatically because in the statement of the theorem what we said was that b is a subset of the universal set. So we already know that b is a subset of u. So anything that is in b is automatically in u. Okay, so I've proven the theorem for case one. Now let's go back to case two. If x is in b complement, then what that means is that x I in u minus b. It's everything in the universe that isn't in b. And so what means is that x is in u and x is not in b. But right here I have what I want. So right there I'm saying that x is in u. So to say that x is in u just means that I've proven what I wanted. Okay, either way x belongs to u. And now that proves the first half. I've shown that b union, b complement is a subset of u. Now let's move on to the other direction of this proof here. Let's show that u belongs is a subset of b union b complement. So let's choose another element. Let's let y just be anything in the universal set here. Now I'm going to set up two cases again. Case one will be where y is in b. And case two. Case one there. And case two will be where y does not belong to be. So certainly any element that I pick in the universal set will fall into one of those two categories, either that point y is in b or it isn't. There's no middle ground there, no grays areas. So if y belongs to b, then automatically y belongs to b union b complement. Because remember what union means, is that y is either in b or in b complement. So as long as y's in one of those sets, I've shown that it's in the union. Now that gets case one out of the way. Case two, if y is not in b, then where is y? Well, y would be n, b complement. If it's not in b, it must be in the complement. And, therefore, by the same reasoning y is an element of b, union b complement. Okay, so either way y is in that union of b and b complement. Okay? And so that proves that path of the lemma. And how it proves the entire lemma completely. So I've proven that b and b complement is a subset of u, and that u is a subset of b union and b complement. So the lemma no is completely done. And just to remind ourselves what that lemma says, I'll just circle it up here, that b union and b complement is equal to u. So now let's move on to proving the main proposition here. I want to show that a intersect b, union a intersect b complement is equal to a. We're going to do this in a very different way here. Now normally if we were using to choose an element method, I would have to prove this set equality statement with two phases. I'd have to show that all this stuff is a subset of a, and then I have to show that a is a subset of all this stuff. We could still do it that way, however we can also leverage some of the things we know about set identities to make this go a lot faster. And that sounds appealing. So let's think about this. I want to show this set equation works. So like any equation, let's just think about the left-hand side. I'm just going to write down the left-hand side of this equation. A intersect b, union a intersect b complement. And just think about what this equals. Well, I want you to think back to the distributive laws that I pointed out a little earlier. Keep your eye on this for a second. I'm going to page back a few slides. I have the union of two intersections. A intersect b, union a intersect b complement. Now back on these other slides here, where we hit the distributive laws, that looks a lot like this line right here. The right-hand side of this distributive law property is exactly what we're looking at, except c here is being replaced by b complement. I had a intersect b, union a intersect something else. Now what this distributive law allows me to do is rewrite this as the left-hand side, a intersect b union c. So let's go forward back to our slides, and rather than choose an element I'm going to use a known and proven set identity to rewrite this as a intersect b union b complement. And again, the reason that's true. I don't have a lot of room here, but I'll try to cram it in. This is true by the distributive property. The distributive property, the very first one. Okay, so that is certainly true. And I didn't have to choose an element. Now let's keep going. What's this equal to? Well, by our lemma we just learned that b union b complement is the entire universal set. So I can replace the thing in parenthesis with just the universal set. Again that's by my lemma that I proved. And now let's see what we have here. I have a intersect the universal set. Now I had another set property back here. It was right there. A intersect the universal set is itself. It's called the properties of the empty set and the universal set. So I can use that property to rewrite what I have in front of me as just a. Again that's what we call the properties of the empty set and the universal set. It was the second one of those properties in the theorem. And notice that proves it. I'm done. Okay, I've proven that this set equals this by the distributive property, which equals this by my limit, which equals this by the properties of the empty set and the universal set. And so I've proven what I wanted to show. And that's that. That seems a lot easier; doesn't it? So we don't have to necessarily do a choose an element method type of proof here. We can use what we are going to refer to as the Algebra of sets method. Algebra of sets, because that's what it feels like. It feels like you're doing Algebra with sets rather than variables. Using these properties that I built up, I can just chain them together and get what I want instead.