包含模式

如果存在索引 的一個子集 ，則稱其包含模式 ，如果存在 使得 與 順序同構。其中， 是 個元素上的對稱群。

換句話說， 包含 當且僅當 的任何 k-子集 與 順序同構時。