text: Например, прямая сумма того же самого набора множеств ∏ i ∈ N Z 2 = ( N , xor ) {\displaystyle \prod _{i\in \mathbb {N} }\mathbb {Z} _{2}\ =\ (\mathbb {N} ,\;\operatorname {xor} )} содержит все двоичные последовательности с конечным числом единиц, а их можно трактовать как двоичные представления натуральных чисел.