cool math 4 kids

Cool math empty set and subsets

So let's go back to our definition of subsets. We have a set A. We won't define it any more than that, it could be any set. Is the empty set a subset of A?

Going back to our definition of subsets, if every element in the empty set is also in A, then the empty set is a subset of A. But what if we have no elements?

It takes an introduction to logic to understand this, but this statement is one that is "vacuously" or "trivially" true.

A good way to think about it is: we can't find any elements in the empty set that aren't in A, so it must be that all elements in the empty set are in A.

So the answer to the posed question is a resounding yes. 

 

The empty set is a subset of every set, including the empty set itself.

 

=================