[...] we will speak of ℜ relating string to string, trough relations are properly defined on "sets". A string can be always regarded as a set of ordered pairs of its members with positional indices, and similar construction can be put together for structure more complex than strings. Ultimately, ℜ can be defined over such sets.
- McCarthy & Prince (2004), a pag.437