Definition talk:Kleene Closure

Domain of sequences
The sequences need to have a more restricted domain, as in Definition:Concatenation of Sequences. We probably want to use Definition:Associative Word on Set here. (Awodey also uses [1..n] as domain, GAP as well.) --barto (talk) (contribs) 11:18, 14 January 2018 (EST)