\chapter{فضاهای فشرده پایدار و فضاهای مرتب فشرده} \thispagestyle{empty} \section{فضاهای فشرده پایدار} یک فضای توپولوژیک جزئاً مرتب (یا به طور خلاصه، فضای مرتب)، از دیدگاه آبرامسکی \cite{abramsky2}، مجموعه‌ای مانند $ X $ همراه با یک توپولوژی $ \mathcal{O} $ و یک ترتیب $ \leq $ است به طوری که گراف ترتیب در $X\times X $ بسته باشد. بنابراین ... \section{فضاهای مرتب فشرده} در این بخش به بیان ...