Metadata
shorthands: {}
aliases: [injective, Injective, injective function, Injective function, injection, Injection, one-to-one function]
created: 2021-10-18 16:08:01
modified: 2021-12-20 22:00:23

In other words: every element of the function's codomain is the image of at most one element of its domain.
Or equivalently: