DRSs are set-theoretic objects built from discourse referents and DRS-conditions.  A DRS-condition is either atomic, in which case it consists of a predicate and a suitable number of discourse referents, or complex, in which case it embeds one or two DRSs. Hence, the definition of the DRS language is by simultaneous recursion: