https://0pow0.github.io/posts/discrete_math/set/