Hahn decomposition theorem (source code)

= Hahn decomposition theorem
{wiki=Hahn_decomposition_theorem}