# Definition:Kleene Closure

Jump to navigation
Jump to search

## Definition

Let $S$ be a set.

The **Kleene closure** of $S$, denoted $S^*$, is the set of all ordered tuples in $S$.

## Also defined as

Sometimes the **Kleene closure** is considered to be an algebraic structure, endowed with the concatenation operation $*$.

## Also known as

The **Kleene closure** is also called the **Kleene star**, reminiscent of its notation.

## Source of Name

This entry was named for Stephen Cole Kleene.

## Also see

## Sources

- 2010: Steve Awodey:
*Category Theory*(2nd ed.) ... (previous) ... (next): $\S 1.7$