Definition:Subset Relation on Mappings

Definition
Let $f$ and $g$ be mappings.

$f$ is a subset of $g$ :
 * $f \subseteq g \iff \forall x \in \Dom f: \map f x = \map g x$