Definition. rng_eq
rng R = {y | ∃x. (x, y) ∈ R}