Definition talk:Kleene Closure

Domain of sequences

The sequences need to have a more restricted domain, as in Definition:Concatenation of Ordered Tuples. 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)

Done by migrating from "sequence" to "ordered tuple". The same applied to the definition of ordered tuples, in accordance with Awodey, the only cited source (his treatment is informal and so the complexity of "finite sequence" over "ordered tuple" can be avoided). — Lord_Farin (talk) 11:09, 2 April 2018 (EDT)

For posterity: Note how Definition:Associative Word on Set and Definition:Ordered Tuple are identical, and only the latter term is properly sourced up till now. I have included a note on the latter definition and will proceed with the merge shortly. — Lord_Farin (talk) 11:10, 2 April 2018 (EDT)

There is now a redirect in place. — Lord_Farin (talk) 13:50, 9 April 2018 (EDT)