Sequence of instructions that can be called from other points in a computer program.
Mathematical binary relation, such that every element of the left set is related with exactly one element of the right set.