Es sei M {\displaystyle {}M} eine endliche Menge und T 1 , T 2 ⊆ M {\displaystyle {}T_{1},T_{2}\subseteq M} seien Teilmengen mit T 1 ∩ T 2 ≠ ∅ {\displaystyle {}T_{1}\cap T_{2}\neq \emptyset } . Es sei G ⊆ S ( M ) {\displaystyle {}G\subseteq S(M)} eine Untergruppe der Permutationsgruppe, die sowohl S ( T 1 ) {\displaystyle {}S(T_{1})} als auch S ( T 2 ) {\displaystyle {}S(T_{2})} umfasst.
Dann ist S ( T 1 ∪ T 2 ) ⊆ G {\displaystyle {}S(T_{1}\cup T_{2})\subseteq G} .
