Die Eigenschaft einer Ausdrucksmenge Γ ⊆ L S {\displaystyle {}\Gamma \subseteq L^{S}} , Beispiele zu enthalten.