نیم-مشبکه

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

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

شرکتپذیری:



جابجایی:



خودتوانی:



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

 منابع 






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