Attributes of functions
- Injective (One-to-One): For every element
y
in the codomainB
, there exists at most one elementx
in the domainA
such thatf(x) = y
. In other words, distinct elements ofA
are mapped to distinct elements ofB
. - Bijective (Onto): For every element
y
in the codomainB
, there exists exactly one elementx
in the domainA
such thatf(x) = y
. This means that every element ofB
is the image of exactly one element ofA
.