https://9dok.org/document/qvl8km3l-introduce-partial-order-variance-majorization-analogous-majorization-order.html