Let be a set. For every subset , its characteristic function, is defined for all by: $$ f_A(x) = \begin{cases} 1, &\text{if } x \in A, \\ 0, &\text{if } x \notin A \end{cases} $$
If then can be represented by an infinite 0-1 sequence.
For example, given , .