Context-Freeness

A semantics $\sigma$ satisfies Context-Freeness iff for every framework $F = (A, R)$ and $E \subseteq A$: $E \in \sigma(F)$ iff $E \in \sigma(F|_S)$ for all $S$ with $E \subseteq S \subseteq A$.