The set of all strings (infinite length allowed) associated with a finite alphabet.

The set of all finite-length strings associated with a countable alphabet.

The set of all finite-length strings associated with a finite alphabet.

The set of all surjective partial* functions from to .

*Reminder: A partial function from to is a mapping of each element to a unique element .