Let be a Forcing Language.

We write for the set of Sentences in .