Range of Small Relation is Small

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $a$ be a small class.

Let $a$ also be a relation.


Then the range of $a$ is small.


Proof

Let $A$ equal:

$\set {\tuple {\tuple {x, y}, y}: \tuple {x, y} \in a}$

Then, $A$ maps $a$ to its range.

Thus, the range of $a$ is the image of $A$.


By Image of Small Class under Mapping is Small, the range of $a$ is small.



$\blacksquare$


Sources