Possible Extension

Given a semantics $\sigma$, a set $E \subseteq A \cup A^?$ is a possible $\sigma$-extension of an iAF $I = (A, A^?, R, R^?)$ iff $E \in \sigma(F^*)$ for some completion $F^*$.