>>416
σコンパクトと同値な希ガス
確かロングラインとかいうσコンパクトでない多様体が作れたような