Cayley's theorem
The composition is defined in the same way for partial functions and Cayley's theorem has its analogue called the Wagner–Preston theorem.