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