Definition:Range of Relation/Also denoted as

From ProofWiki
Jump to navigation Jump to search

Range of Relation: Also denoted as

Some sources use the notation $\map {\mathrm {Ran} } \RR$ for the range of a relation (or the same all in lowercase).

Some sources use $\map {\mathsf {Ran} } \RR$.

Some use $R_\RR$.


Sources