https://9lib.org/document/y96079kv-domknięty-podzbiór-zbioru-zwartego.html