Attributes of functions

  1. Injective (One-to-One): For every element y in the codomain B, there exists at most one element x in the domain A such that f(x) = y. In other words, distinct elements of A are mapped to distinct elements of B.
  2. Bijective (Onto): For every element y in the codomain B, there exists exactly one element x in the domain A such that f(x) = y. This means that every element of B is the image of exactly one element of A.