I have a question about the statement of problem (aa) in Stanley's list of problems on Catalan numbers (see here), in which he lists 66 sets whose elements are counted by the $n$th Catalan number $C_n$.
The statement seems to be imprecise, or incomplete. I am copying it here for ease of reference:
[We consider] equivalence classes $B$ of words in the alphabet [$n-1$] such that any three consecutive letters of any word in $B$ are distinct, under the equivalence relation $uijv \sim ujiv$ for any words, $u, v$ and any $i, j \in$ [$n-1$] satisfying $|i-j|\geq 2$. For $n=3$, equivalence classes are {$\varnothing$}, {1}, {2}, {12}, {21}. For $n=4$ a representative of each class is given by $\varnothing$, 1, 2, 3, 12, 21, 13, 23, 32, 123, 132, 213, 321, 2132.
Now, while this is not stated, we are clearly interested in the smallest equivalence relation containing those ordered pairs. Furthermore, it seems that we are only considering words of length at most $n$. Even taking into account this, it is still not clear to me why for $n=4$ we only have one equivalence class for words of length $4$. For instance why, in addition to $[2132]$, do we not also have the four pairwise distinct equivalence classes $[1231], [1321], [3123], [3213]$?
For example, let's consider $[1231]$. Then $1231$ is not equivalent to $1321$, since we are only considering permutations of pairs $ij$ with $|i-j|\geq 2$. In particular, it seems that $1231$ is not equivalent to any other word such that any three consecutive letters are all distinct.
Please note that I am not asking for a solution to the counting problem, but simply trying to understand the statement. Since these problems are quite well-known and used in many combinatorics classes, I am a bit surprised at the fact that the statement appears to be so imprecise.