https://9dok.net/document/qvlm354r-directed-sets-and-differences-of-convex-compact-sets.html