Definition:Class Bijection
Definition
Let $A$ and $B$ be classes.
Let $f: A \to B$ be a class mapping from $A$ to $B$.
Then $f$ is said to be a class bijection if and only if:
- $f$ is both a class injection and a class surjection.
Let $A$ and $B$ be classes.
Let $f: A \to B$ be a class mapping from $A$ to $B$.
Then $f$ is said to be a class bijection if and only if: