ایدآل های حقیقی در حلقه ی توابع پیوسته با مقدار حقیقی روی فضای تیخونوف x توسط صفر مجموعه ها به طور شفاف شناسایی شده اند. در اینجا می خواهیم این مشخصه سازی را به حلقه rl متشکل از توابع حقیقی پیوسته روی یک چارچوب (frame) کاملا منظم l تعمیم دهیم، که برای این کار از عناصر متمم صفر-مجموعه استفاده می کنیم. همچنین به عنوان یک کاربرد نشان خواهیم داد که l یک چارچوب فشرده حقیقی است اگر و تنها اگر هر ایدآل ماکسیمال آزاد در rl یک ایدآل ابر-حقیقی باشد. در ادامه بیان دیگری از قضیهmorwkas را ارائه خواهیم داد که فضاهای فشرده حقیقی را مشخص می کند.