فرض کنیم یک تابع پیوسته و پوشا بین دو فضای تیخونوف باشد. تابع به کمک ترکیب، یک همریختی یک به یک از به توی تولید می کند و این همریختی به ما این امکان را می دهد که را به عنوان زیرحلقه ای از در نظر بگیریم. در این پایان نامه ویژگی های متناهی توسیع از را به وسیله ی ویژگی های توپولوژیکی تابع بررسی می کنیم. در پایان نشان می دهیم، برای زیرفضای فشرده ی از ، توسیع از صحیح است، اگر و تنها اگر بتوان را به صورت اجتماعی متناهی از زیرمجموعه های بسته ی خودش چنان نوشت که روی هر یک از آن ها یک به یک باشد.