Questions on partial functions, history, usage, properties, significance for computability theory, connections to (inverse)-semi-groups and other algebraic theories.
A partial function generalizes the concept of a function by not requiring that every element of the nominal domain is mapped to an element of the codomain. They became prominent in computability theory, but also have connections to (inverse)-semi-groups and other algebraic theories.
