4
$\begingroup$

Apparently, if one adds an asterisk to the right side of a set definition, it means the set to the left can be built out of elements in the set to the right.

How is this so? What does the asterisk officially mean?

3 Answers 3

7

This notation is most common in discrete mathematics. In that context the set $S$ is considered to be an alphabet and $S^*$ just means the set of all finite strings that can be formed with letters from the alphabet. Variants are $S^n$ for the set of all strings of length $n$, and $S^{\le n}$ for the set of all strings with length no more than $n$. These latter two variants are widely used in set theory as well.

  • 0
    Yes, the string of length 0.2012-03-02
3

It means whatever it says it means in the place where you found it. Without knowing that context, it could mean anything.

One common meaning is something like what you've said. It could mean all finite strings of symbols made up from the symbols 1, 2, and 3.

3

It's called the "Kleene star": see http://en.wikipedia.org/wiki/Kleene_star