Mapping whose Domain is Small Class is Small
Jump to navigation Jump to search
Let $F$ be a mapping.
Then, $F$ is a small class.
Let $A$ denote the domain of $F$.
Let $B$ denote the image of $F$.
- $F \subseteq A \times B$
where $A \times B$ denotes the Cartesian product of $A$ and $B$.