قضیه کراین میلمن یکی از قضایای اصلی در آنالیز تابعی است که بیان می کند برای هر مجموعه محدب فشرده k از یک فضای محدب موضعی، (( k ) ext ) co = k که در آن ( k) ext مجموعه همه نقاط انتهایی k است. در این پایان نامه تعمیمی از قضیه فوق برای سازه های ابرمتناهی به صورت زیر بیان و اثبات می شود. هر زیرمجموعه ? c-محدب و فشرده در توپولوژی ? -ضعیف از سازه ابرمتناهی r با بستار ? -ضعیف پوش ? c-محدب نقاط ? c- انتهایی اش برابر ا