Definition. dom_eq
dom R = {x | ∃y. (x, y) ∈ R}