The document discusses functions and their properties. It defines a function as a relation that pairs each element in the domain with exactly one element in the range. It also introduces function notation and discusses evaluating functions for given inputs. The document then defines and provides examples of injective (one-to-one), surjective (onto) and bijective functions. It explains that a bijective function is both one-to-one and onto, mapping each element in the domain to a unique element in the range.