文字列という呼称が気に食わないなら順序n対(n≧0)でもかまわないよ
どうも誤解を与えてしまった気がするから

ただし、順序n対の定義の仕方は
<x, y> = <z, w> ⇔ x = z, y = w　（n=2の場合）
というふうな性質を満たせば何でもよいとする