https://123dok.net/document/y8gpmj12-necessary-sufficient-conditions-invariance-convex-discrete-saturated-systems.html