https://9lib.org/document/qo5o7jok-abstract-construct-family-structure-compact-metrizable-transfinite-dimension.html