فرض کنید h یک مجموعه ی ناتهی باشد. در اینصورت هر نگاشت مانند o:h×h?p*(h) یک ابرعمل 2-تایی روی h نامیده می شود که در آن مجموعه ی همه ی زیرمجموعه های ناتهی h می باشد. h را یک ابرساختار می نامیم هرگاه به یک ابرعمل مجهز باشد. مفهوم ابرساختارها برای اولین بار در سال 1934 توسط مارتی ارائه شد. پس از آن دانشمندان متوجه شدند که ابرساختارها کاربردهای فراوانی در علوم محض و کاربردی دارند. همچنین مفهوم مجمو...