Attributes of functions
- Injective (One-to-One): For every element
yin the codomainB, there exists at most one elementxin the domainAsuch thatf(x) = y. In other words, distinct elements ofAare mapped to distinct elements ofB. - Bijective (Onto): For every element
yin the codomainB, there exists exactly one elementxin the domainAsuch thatf(x) = y. This means that every element ofBis the image of exactly one element ofA.