 It is straightforward to verify that this is the case if and only if \(Y\) is of the form \(X[F/y] = \{s[a/y] : s \in X, a \in F(s)\}\) for some function \(F\) from assignments in \(X\) to nonempty sets of elements of our model.