Page "Chaitin's constant" Paragraph 21

Each of these strings p < sub > i </ sub > determines a subset S < sub > i </ sub > of Cantor space ; the set S < sub > i </ sub > contains all sequences in cantor space that begin with p < sub > i </ sub >.

These sets are disjoint because P is a prefix-free set.

The sum