Suppose you have two sets, P and S. Suppose that all the elements that are in P are also members of S. Then we say that P is a subset of S. Now, the set S is itself a subset of S, because all elements of S are in S (a trivial statement). We say that P is a proper subset of S if P is a subset of S and if P is not equal to S.