包含模式

如果存在索引 的一个子集 ，则称其包含模式 ，如果存在 使得 与 顺序同构。其中， 是 个元素上的对称群。

换句话说， 包含 当且仅当 的任何 k-子集 与 顺序同构时。