Set of Mappings can be Ordered by Subset Relation
Jump to navigation
Jump to search
Theorem
Let $S \times T$ be the product of two sets.
Let $\FF$ be a set of mappings on $S \times T$.
Then $\FF$ can be ordered by the subset relation.
Proof
By the definition of mapping, a mapping is a specific type of relation.
The result then follows from Set of Relations can be Ordered by Subset Relation.
$\blacksquare$