# Where do we make use of the concept of “Power set of a set containing an empty set”?

The power set of the singleton that contains the empty set is

$P(\{\emptyset\}) = \{ \emptyset, \{ \emptyset \}\}$

Our discrete math professor made a mention that the same is used in proving the properties of a program. She also said that the same is used in testing a program.

Can somebody elaborate so that I can make more of this? I am a computer science student.

-
Seems like this is about "Switch can be On/Off" –  i707107 Sep 23 '13 at 0:44