It is a unary operator on a set of symbols or strings, that gives the infinite set of all possible strings of all possible lengths.