A subset
of a permutation
is said to contain
if there exist
such that
is order isomorphic to
. Here,
is the symmetric group
on
elements.
In other words,
contains
iff any k-subset of
is order
isomorphic to
.