1 min read 87 words Updated Sep 24, 2026 Created Sep 24, 2026
#analysis#functionalprogramming#math

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.