Function Extensional Equality

Functions $f$ and $g$ are equal if the agree under all outputs of inputs $\forall x,f(x)=g(x)$

Example

• Stable Sorting Algorithm