Definition:Many-to-One Relation/Defined

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