Injective function: Difference between revisions

Content deleted Content added
It's *necessary* at least to mention the ___domain - otherwise the statement would simply be false (or nonsensical).
Examples: Fixed Gallery link
Tags: Mobile edit Mobile web edit
Line 22:
 
== Examples ==
''For visual examples, readers are directed to the [[#galleryGallery|gallery section.]]''
* For any set <math>X</math> and any subset <math>S \subseteq X,</math> the [[inclusion map]] <math>S \to X</math> (which sends any element <math>s \in S</math> to itself) is injective. In particular, the [[identity function]] <math>X \to X</math> is always injective (and in fact bijective).
* If the ___domain of a function is the [[empty set]], then the function is the [[empty function]], which is injective.