Category:Class Mappings
Jump to navigation
Jump to search
This category contains results about Class Mappings.
Definitions specific to this category can be found in Definitions/Class Mappings.
Let $V$ be a basic universe.
Let $A \subseteq V$ and $B \subseteq V$ be classes.
In the context of class theory, a mapping from $A$ into $B$ is a relation $f \subseteq A \times B$ such that:
- $\forall x \in A: \exists! y \in B: \tuple {x, y} \in f$
That is:
- $\forall x \in A: \forall y_1, y_2 \in B: \tuple {x, y_1} \in f \land \tuple {x, y_2} \in f \implies y_1 = y_2$
and
- $\forall x \in A: \exists y \in B: \tuple {x, y} \in f$
Pages in category "Class Mappings"
The following 13 pages are in this category, out of 13 total.