任意两个字符串 s, t，如果能找到一种替换方式，对 t 中的每个字符 a ，用 s 中的一个字符 b 替换，最后得到一个字符串 t’，如果 t’ 与 s 相同，用符号计作 s->t；如果 s->t 且 t->s，我们称 s 与 t 等价。

例如，下面 4 个字符串就是（互相）等价的：

现在有一组字符串，按照上面定义的等价关系，对这组字符串进行分类，互相等价的为同一类。