We can see that each relation has an equivalent set-theoretic definition, which dates back to Montague Semantics (Janssen, 2011).
each language unit x 1 or x 2 is modeled as a set, and is supposedly a subset of the universe D. their relations can be determined by the relation between the two sets.