مجتمع سادکی
دانشنامه عمومی
یک مجتمع ( متناهی ) سادکی K روی مجموعه اعداد حقیقی در d بعد، مجموعه ای از سادک هاست که:
• هر صورت از یک سادک در K {\displaystyle K} خود یک سادک از K {\displaystyle K} است.
• اشتراک هر دو سادک از K {\displaystyle K} یا تهی است یا یک صورت مشترک از هردو سادک است.
به هر سادک در یک مجتمع سادکی که بخشی از صورت یک سادک بزرگتر نیست، یک صورتک می گویند ( به تفاوت آن با یک صورت توجه کنید ) .