Definition:Subset Relation on Mappings

From ProofWiki
Jump to navigation Jump to search

Definition

Let $f$ and $g$ be mappings.

$f$ is a subset of $g$ if and only if:

$f \subseteq g \iff \forall x \in \Dom f: \map f x = \map g x$


Also see

  • Results about the subset relation can be found here.


Sources