Language for the disjunction definitions

To write disjunctions there are two types of sentences: Disjunction can be single or no-domain or can have a domain such that you declare and define a set of disjunctions over the domain.
The domain of the disjunction can be limited by applying the sentence with.