| Description: Define the range of a
class. For example,
𝐹 =
{⟨2, 6⟩, ⟨3, 9⟩} → ran 𝐹 = {6, 9} (ex-rn 30974).
Contrast with domain (defined in df-dm 5657). For alternate definitions,
see dfrn2 5866, dfrn3 5867, and dfrn4 6190. 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 6060. Not to be confused with
"codomain" (see df-f 6531), which
may be a superset/superclass of the range (see frn 6705).
(Contributed by
NM, 1-Aug-1994.) |
