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