# Power Set

Definition of power set:

We have defined a set as a collection of its elements so, if S is a set then the collection or family of all subsets of S is called the power set of S and it is denoted by P(S).

Thus, if S = a, b then the power set of S is given by P(S) = {{a}, {b}, {a, b}, ∅}

We have defined a set as a collection of its elements if the element be sets themselves, then we have a family of set or set of sets.

Thus, A = {{1}, {1, 2, 3}, {2}, {1, 2}} is a family of sets.

The null set or empty set having no element of its own is an element of the power set; since, it is a subset of all sets. The set being a subset of itself is also as an element of the power set.

For example:

1. The collection of all subsets of a non-empty set S is a set of sets. Thus, the power set of a given set is always non-empty. This set is said to be the power set of S and is denoted by P(S). If S contains N elements, then P(S) contains 2^n subsets, because a subset of P(S) is either ∅ or a subset containing r elements of S, r = 1, 2, 3, ……..

Let S = {1, 2, 3} then the power set of S is given by P(S) = {{1}, {2}, {3}, {1, 2}, {2, 3}, {1, 3}, ∅, S}.

2. If S = (a), then P(S) = {(a), ∅}; if again S = ∅, then P(S) = {∅}. It should be notated that ∅ ≠ {∅}. If S = {1, 2, 3} then the subset of S {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}, ∅.

Hence, P(S) = {{1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}, ∅}.

3. We know, since a set formed of all the subset of a set M as its elements is called a power set of M and is symbolically denoted by P(M). So, if M is a void set ∅, then P(M) has just one element ∅ then the power set of M is given by P(M) = {∅}

Set Theory