This is an old revision of the document!
Iteratively defined as follows:
Unary operation
Relation concatenation, Natural number