!y in E, y in range of R (X to Y) iff ?x in D : <x,y> in R For every element y in E, y is in the range of a relation R from X to Y iff there exists an element x in D such that <x,y> is in R.