https://9lib.org/document/q7wo8exn-covering-property-σ-ideals-compact-sets.html