为什么本题从 sa推倒出字符的偏序结构是充要条件。

还是非常显然qaq