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