A complemented lattice is an algebraic structure  such that  is a bounded lattice and for each element , the element  is a complement of , meaning that it satisfies

1. 

2. .

A related notion is that of a lattice with complements. Such a structure is a bounded lattice  such that for each , there is  such that  and .

One difference between these notions is that the class of complemented lattices forms a variety, whilst the class of lattices with complements does not. (The class of lattices with complements is a subclass of the variety of lattices, but it is not a subvariety of the class of lattices.) Every lattice with complements is a reduct of a complemented lattice, by the axiom of choice. To see this, let  be a lattice with complements. For each , let  denote the set of complements of . Because  is a lattice with complements, for each ,  is nonempty, so by the axiom of choice, we may choose from each collection  a distinguished complement  for . This defines a function  which is a complementation operation, meaning that it satisfies the properties stated above for the complementation operation of a complemented lattice. Augmenting the bounded lattice  with this operation yields a complemented lattice,  of which the original lattice with complements  is a reduct.

اخر الاخبار

اخبار العتبة العباسية المقدسة

بيان صادر عن العتبة العباسية المقدسة

قسم التطوير يقيم دورة تدريبية عن الهندسة النفسية لملاكاته

تضررت في الانتفاضة الشعبانية.. الكشف عن قطع تاريخية من الإيوان الذهبي لمرقد أبي الفضل العباس (عليه السلام)

قسم الصناعات ينهي أعمال صيانة منظومة التهوية في مجمع أبي الفضل العباس (عليه السلام)

المزيد

الآخبار الصحية

عادات يومية تدمر قلبك بصمت.. خبراء يطلقون التحذير

خبراء تغذية يكشفون "أفضل وقت لتناول الإفطار"

أطعمة تزيد فرص وفاة مرضى السرطان 60 بالمئة.. ما هي؟

اختبار ثوري جديد يكشف مبكرا عن سرطان البنكرياس

المزيد

الآخبار التكنلوجية

الذكور أم الإناث؟ دراسة "تنسف الشائع" بشأن التوحد

خبير يكشف عن اقتراب العلماء من فك شفرات "لغات الحيوانات" !

دراسة تدفعك لشراء ساعة ذكية "فورا".. هذا ما تقوله عن قلبك

علماء حاصلون على "نوبل": الذكاء الاصطناعي لن يستبدل الإنسان

المزيد