https://123dok.net/document/yevk1ll7-real-valued-set.html