Definition:Finite Set Coding

Definition
Let $A \subset \N$ be a finite subset of the natural numbers.

Let $\ds n = \sum_{a \mathop \in A} 2^a$.

Then $n$ codes the finite set $A$, or $n$ is the code number for the finite set $A$.