Alexandroff_compactification loading ...