set-theory Definition Range (Relation) Let R be a relation. The range of R is defined as: ran(R)={y:∃x(x,y)∈R}