Injective (one-to-one): different inputs give different outputs. Test: f(a)=f(b) implies a=b. Surjective (onto): every element of codomain is hit. Test: for every y in B, there exists x in A with f(x)=y. Bijective: both injective and surjective. Only bijections have inverse functions.