# Definition:Concatenation

($1)$2 | $3 ($4) | $5 ($6)
Definition: concatenation
The function is given inductively by and .