Cardinality is Additive Function

From ProofWiki
Jump to navigation Jump to search


Let $S$ be a finite set.

Let $\powerset S$ be the power set of $S$.

The function $C: \powerset S \to \R$, where $C$ is defined as the cardinality of a set, is an additive function.


We have that $\powerset S$ is an algebra of sets.