Definition:Many-to-One Relation/Defined/Element

From ProofWiki
Jump to: navigation, search

Definition

Let $f \subseteq S \times T$ be a many-to-one relation.

Let $s \in S$.


Then $f$ is defined at $s$ iff $s \in \operatorname{dom} f$, the domain of $f$.