نیم-مشبکه

در ریاضیات، جوین-نیم-مشبکه  (یا نیم-مشبکه بالایی ) یک مجموعه جزئاً مرتب (یا پوست یا POSET) است که هر زیرمجموعه ناتهی متناهی آن جوین داشته باشد. دوگان تعریف اخیر میت-نیم-مشبکه  (یا نیم-مشبکه پایینی ) یک مجموعه جزئاً مرتب است که هر زیرمجموعه ناتهی متناهی آن میت (یا بزرگترین کران پایینی) داشته باشد. اگر ترتیب هر جوین-نیم-مشبکه را معکوس کنیم به میت-نیم-مشبکه می رسیم و برعکس.

تعریف جبری 
یک میت-نیم-مشبکه ساختاری جبری چون  است که شامل مجموعه  با عمل دوتایی  است که به آن میت  می گویند، چنان که برای تمام اعضای  اتحادهای زیر برقرار باشند:

شرکتپذیری:

 

جابجایی:

 

خودتوانی:

 

نماد  جوین  نامیده می شود، اگر در تعریف بالا جای تمام  ها قرار دهیم ، به تعریف جوین-نیم-مشبکه می رسیم.

منابع 

 
 

 

ساختارهای جبری
نظریه مشبکه