It is a well-known fact that, for all K∈K,
(K(α))α∈OR is a decreasing family of
elements of K. The following two results were first
proved by G. Cantor in [5] and they
imply that for all K∈K,
(K(α))α∈OR is in fact a strictly
decreasing family of set…