 Welcome guest
You're not logged in.
249 users online, thereof 0 logged in

## Explanation: Connection Between the Power Set and Functions Mapping Sets into a Set with Two Elements

The indicator function is an example of a map of an arbitrary set $X$ into another set with two elements, in this case, the set $\{0,1\}$. The definition of indicator function reveals that all maps of this kind are exactly those maps, whose carriers correspond to exactly the subsets of $X.$

The question, how many characteristic functions for are given set $X$ do exist, is therefore equivalent to the question, how many subsets of $S$ exist. But this is exactly the cardinality $|\mathcal P(X)|,$ where $\mathcal P(S)$ denotes the power set of $S.$ This result can be summarized as follows: $$|\mathcal P(X)|=2^{|X|}.$$ It is true for both, finite or infinite sets $X.$ In the combinatorics, $2^{|X|}$ is the common notation for the cardinality of the power set $\mathcal P(S).$

Despite this argument, the following proposition summarizes this result for finite sets with yet another proof:

## 1.Proposition: Number of Subsets of a Finite Set

(none)

### Bibliography (further reading)

 Flachsmeyer, Jürgen: “Kombinatorik”, VEB Deutscher Verlag der Wissenschaften, 1972, Dritte Auflage