| Description: Define the range of a
class. For example,
𝐹 =
{⟨2, 6⟩, ⟨3, 9⟩} → ran 𝐹 = {6, 9} (ex-rn 31068).
Contrast with domain (defined in df-dm 5665). For alternate definitions,
see dfrn2 5876, dfrn3 5877, and dfrn4 6208. The notation "ran " is used
by Enderton. The range of a function is often also called "the
image of
the function" (see definition in [Lang] p. ix), which can be justified
by imadmrn 6078. Not to be confused with
"codomain" (see df-f 6559), which
may be a superset/superclass of the range (see frn 6736).
(Contributed by
NM, 1-Aug-1994.) |
