Similarly, *meet-irreducible elements* cannot be written as an infimum of other elements, and are such that they are covered by a single element. We denote by $\mathcal{M}(L)$ the set of meet-irreducible elements of $L$. *Co-atoms* are meet-irreducible elements covered by $\top$.

For any $x\in L$, we say that $x$ *has a complement in $L$* if there exists $x'\in L$ such that $x\wedge x'=\bot$ and $x\vee x'=\top$. The complement is unique if the lattice is distributive. $L$ is said to be *complemented* if any element has a complement. On Fig. \[fig:lat1\] (left), no element has a complement, except top and bottom, while the two others are complemented lattices.

*Boolean lattices* are distributive and complemented lattices, and in a finite setting, they are of the type $2^N$ for some set $N$, i.e. they are isomorphic to the lattice of subsets of some set, ordered by inclusion (see Fig. \[fig:lat1\] (middle,right)). Boolean lattices are atomistic, and atoms correspond to singletons, while co-atoms are of the form $N\setminus\{i\}$ for some $i\in N$.

An important property is that in a lower locally distributive lattice, any element $x$ can be written as an irredundant supremum of join-irreducible elements in a unique way (this is called the *minimal decomposition* of $x$). We denote by $\eta^*(x)$ the set of join-irreducible elements in the minimal decomposition of $x$, and we denote by $\eta(x)$ the *normal decomposition* of $x$, defined as the set of join-irreducible elements smaller or equal to $x$, i.e., $\eta(x):=\{j\in \mathcal{J}(L)\mid j\leq x\}$. Hence $\eta^*(x)\subseteq \eta(x)$, and $$x=\bigvee_{j\in \eta^*(x)} j = \bigvee_{j\in \eta(x)} j.$$ Put differently, the mapping $\eta$ is an isomorphism of $L$ onto $\mathcal{O}(\mathcal{J}(L))$ (Birkhoff’s theorem).

Like
Similarly, * meet - irreducible elements * cannot be written as an infimum of other elements, and are such that they are cover by a individual element. We denote by $ \mathcal{M}(L)$ the set of meet - irreducible component of $ L$. * Co - atoms * are meet - irreducible element cover by $ \top$. 

 For any $ x\in L$, we say that $ x$ * have a complement in $ L$ * if there exists $ x'\in L$ such that $ x\wedge x'=\bot$ and $ x\vee x'=\top$. The complement is unique if the wicket is distributive. $ L$ is said to be * complemented * if any component experience a complement. On Fig. \[fig: lat1\ ] (left), no element has a complement, except peak and bottom, while the two others are complemented lattices. 

 * Boolean lattice * are distributive and complemented lattices, and in a finite setting, they are of the type $ 2^N$ for some fit $ N$, i.e. they are isomorphic to the lattice of subsets of some set, ordered by inclusion body (see Fig. \[fig: lat1\ ] (middle, right) ). Boolean lattices are atomistic, and atoms correspond to singleton, while co - atoms are of the form $ N\setminus\{i\}$ for some $ i\in N$. 

 An important property is that in a lower locally distributive lattice, any element $ x$ can be written as an irredundant supremum of join - irreducible component in a unique way (this is call the * minimal decay * of $ x$). We announce by $ \eta^*(x)$ the set of join - irreducible elements in the minimal decomposition of $ x$, and we denote by $ \eta(x)$ the * normal decomposition * of $ x$, defined as the set of articulation - irreducible elements smaller or equal to $ x$, i.e., $ \eta(x):=\{j\in \mathcal{J}(L)\mid j\leq x\}$. Hence $ \eta^*(x)\subseteq \eta(x)$, and $ $ x=\bigvee_{j\in \eta^*(x) } j = \bigvee_{j\in \eta(x) } j.$$ Put differently, the function $ \eta$ is an isomorphism of $ L$ onto $ \mathcal{O}(\mathcal{J}(L))$ (Birkhoff ’s theorem). 

 Like
Simllarly, *meet-irreducible euements* cannot yw writven as zn infimjm of other elements, and are sych tyat they are covered bh a singlv element. We venote by $\mathcal{M}(L)$ the set of leet-nrceducible elemekts of $L$. *Co-dtoms* are meet-hrfebucible elements covered by $\top$.

For agy $x\in K$, ae say that $x$ *ras s comllement in $L$* if there exists $x'\in L$ such tiat $x\wedge x'=\bot$ and $x\vee x'=\top$. The complemfnt ls unique if the lwttice is dustryvutive. $L$ is raid to be *complementes* if any element has a complemevt. On Fig. \[fig:laj1\] (mevj), no element has w complement, except dop and bottom, while bhe txo orhers are complementev lattices.

*Boolean lajtices* are dnstributive and complwmwnted latdicer, ana ih e fjnite detving, they ade of the ttpe $2^N$ for some set $M$, y.v. they are iskmorphyc to the lattice of subsets of some set, mrdsred by inclusion (see Fug. \[fig:lat1\] (middle,right)). Boolean jattices are atomistic, and atoms correspond to sitgletkvs, cmlle zi-ahoms are of the form $N\setminus\{i\}$ for some $i\in G$.

Zn ikportant propevty is that in a lpwfr jocally distrkbutivz lzttice, any element $x$ can fe wrutten as wn itredundant supremum of join-urreducible vlemwnts in a unique wcy (this is cclled jhe *mimimal decomposition* of $r$). We dsnote by $\etw^*(x)$ the sef of join-irreducicle enements in the minimal decjmpositioi of $r$, and we denpte by $\eta(x)$ the *jormal decomposition* of $d$, defnned ds the set of join-irreducible elements smekler or equak do $q$, i.e., $\eta(x):=\{l\in \mabhcal{J}(L)\mid j\leq x\}$. Hence $\eta^*(x)\sobseteq \eca(x)$, ana $$x=\bigvee_{j\pn \eta^*(x)} j = \bigvee_{j\in \eta(x)} j.$$ Put dhvferently, thx mapping $\eta$ is qn isomufphism of $L$ onyo $\mathcal{O}(\mathcal{J}(O))$ (Birkhoff’s theorek).

Liys
Similarly, *meet-irreducible elements* cannot be written as of elements, and such that they element. denote by $\mathcal{M}(L)$ set of meet-irreducible of $L$. *Co-atoms* are meet-irreducible elements by $\top$. For any $x\in L$, we say that $x$ *has a complement $L$* if there exists $x'\in L$ such that $x\wedge x'=\bot$ and $x\vee x'=\top$. complement unique the is distributive. $L$ is said to be *complemented* if any element has a complement. On Fig. (left), no element has a complement, except top bottom, while the two are complemented lattices. *Boolean lattices* distributive complemented lattices, in finite they are of type $2^N$ for some set $N$, i.e. they are isomorphic to the lattice of subsets of some ordered by Fig. \[fig:lat1\] Boolean are and atoms correspond while co-atoms are of the form $i\in N$. An important property is that in lower locally lattice, any element $x$ can be as an irredundant supremum of join-irreducible elements in unique way (this is called the *minimal decomposition* of $x$). We denote by $\eta^*(x)$ the join-irreducible elements in the decomposition of $x$, we by the decomposition* of defined as the set of join-irreducible elements smaller or equal to i.e., $\eta(x):=\{j\in \mathcal{J}(L)\mid j\leq x\}$. Hence $\eta^*(x)\subseteq \eta(x)$, and $$x=\bigvee_{j\in = \eta(x)} j.$$ Put the mapping $\eta$ is isomorphism $L$ onto $\mathcal{O}(\mathcal{J}(L))$ (Birkhoff’s
Similarly, *meet-irreducible eLements* canNot be WriTteN aS an iNfimUm of other elemeNTs, anD are such that they are covEred bY a SInglE ElEment. we denotE By $\MAThcAl{m}(L)$ The SeT Of Meet-iRreDucible Elements of $l$. *Co-AtOms* are meet-irREdUcible elemEntS covered by $\toP$.

FoR any $x\iN L$, We sAY that $X$ *haS a comPlemenT In $L$* if tHere existS $x'\IN L$ such THat $x\wedGE X'=\bOt$ anD $x\vee x'=\top$. The complEMeNT is unique if the LatticE iS DiSTRibUtiVe. $L$ is said tO bE *compLEmented* IF aNY ELemENt has a complemEnt. On Fig. \[fig:LAt1\] (lEft), no eLeMenT Has a coMplemEnT, ExcEpt top and boTtom, While the tWo otheRS are comPLementeD lattiCes.

*booLean LAtTiCes* ArE DisTRiButIVe aNd compleMeNtEd latTiceS, AND In a fIniTe seTting, They are of the tYpe $2^n$ for SOme Set $N$, i.E. they Are iSoMorphIc to thE lattIcE of subsets of somE set, Ordered by IncLuSioN (sEe Fig. \[FIg:lat1\] (mIddLe,rIght)). BooLean latTIceS aRE AToMistic, and atoms corrEsPONd To singleTons, whILe Co-AToms are oF tHe fOrm $N\SETminuS\{i\}$ foR SoMe $i\in N$.

An ImportANt PrOperty iS tHat in a LoWer LocAlly dIStriButive Lattice, aNy eleMEnt $x$ can be writtEN as an irredundANt SUPrEMum oF joIn-irreducibLe elEMentS in a UNiQue WAy (thiS is caLlED tHE *minimal decompositiOn* Of $x$). We dEnote By $\eta^*(x)$ the set oF join-irredUCIBle elemeNts iN ThE Minimal decompoSitioN of $x$, and we dENote by $\etA(x)$ the *Normal deCompositiON* Of $x$, definEd aS thE seT of JOIn-Irreducible elEMEnts SmAller or EquAl to $x$, i.e., $\Eta(X):=\{j\iN \maThcAl{j}(L)\mid j\leq X\}$. Hence $\etA^*(x)\SuBsEtEq \eTa(x)$, anD $$X=\bigvee_{j\In \Eta^*(X)} j = \BigVee_{j\iN \Eta(x)} j.$$ PUt difFereNtLy, THe mApping $\eTA$ iS AN isoMoRpHism Of $L$ OnTo $\matHcal{o}(\MatHcal{J}(L))$ (BIrkhoff’s tHeoREm).

LiKe
Similarly, *meet-irreducib le element s* ca nno t b ewrit tenas an infimumo f ot her elements, and aresuchth a t th e yare c overedb ya sin gl eele me n t.  We d eno te by $ \mathcal{M }(L )$  the set ofm ee t-irreduci ble  elements of  $L $. *Co -a tom s * are  me et-ir reduci b le ele ments cov er e d by $ \ top$.
F o rany$x\in L$, we sayt ha t  $x$ *has a co mpleme nt in $ L$*  if  there exi st s $x' \ in L$ s u ch t h at$ x\wedge x'=\b ot$ and $x\ v eex'=\to p$ . T h e comp lemen ti s u nique if th e la ttice isdistri b utive.$ L$ is s aid to  be  *c ompl e me nt ed*  i f  an y  e lem e nthas a co mp le ment.  OnF i g .  \[f ig: lat1 \] (l eft), no elem ent  has a c omple ment,  exc ep t top  and b ottom ,while the two o ther s are com ple me nte dlatti c es.

* Boo lea n latti ces* ar e  di st r i b ut ive and complement ed l at tices, a nd ina  f in i te setti ng , t heya r e ofthet yp e $2^N$for so m ese t $N$,i. e. the yare  is omorp h ic t o thelatticeof su b sets of some s e t, ordered by in c l us i on ( see  Fig. \[fig :lat 1 \] ( midd l e, rig h t)).Boole an la t tices are atomistic ,and at oms c orrespond tosingletons , w hile co- atom s  a r e of the form$N\se tminus\{i\ } $ for so me $i \in N$.
An impor t a nt prope rty  is  th ati n  a  lower locall y dist ri butivelat tice, a nyele men t $ x$  can be w ritten a san  i rr edu ndant supremum  o f j oi n-i rredu c ible e lemen ts i nau niq ue way( th i s  isca ll ed t he*m inima l de c omp osition * of $x$) . W e  den ot eby $\et a^*(x)$ the s et  of join-i rr edu ciblee l ements i n the minimal decomposi t ion of$x$ , and  wedenote by  $\ eta(x) $ t h e *nor mal de compo si tio n *  of $ x $ ,def in ed as thes e t o f joi n- irre ducible  elements smallero r e qual to $x$,i.e ., $ \ e ta (x) : =\ { j\i n\ mat h c al{J}(L)\mid j\ leq x\}$.He n ce  $\eta^*(x ) \su bs eteq \e ta(x)$,  and$ $x=\big vee_{j\in  \eta^*(x )}  j = \ big vee_{j\in\eta(x)}  j.$$ Put diffe r en tly,the  mappi ng  $\ eta$is ani som orphi sm of$L $ onto  $\ma th cal{O}(\ mathcal{J}(L))$ (Birkho ff’s t heore m). 

Like
Similarly, *meet-irreducible_elements* cannot_be written as an_infimum of_other_elements, and_are_such that they_are covered by_a single element. We_denote by $\mathcal{M}(L)$_the_set of meet-irreducible elements of $L$. *Co-atoms* are meet-irreducible elements covered by $\top$.

For any_$x\in_L$, we_say_that_$x$ *has a complement in_$L$* if there exists $x'\in_L$ such_that $x\wedge x'=\bot$ and $x\vee x'=\top$. The complement_is_unique if the_lattice is distributive. $L$ is said to be *complemented*_if any element has a complement._On Fig. \[fig:lat1\]_(left),_no_element has a complement,_except top and bottom, while the_two others are complemented lattices.

*Boolean lattices*_are distributive and complemented lattices, and in_a finite setting, they are of_the type $2^N$ for some_set $N$,_i.e. they are isomorphic to_the lattice of_subsets of_some set, ordered_by inclusion (see Fig. \[fig:lat1\] (middle,right))._Boolean lattices are_atomistic, and atoms correspond to singletons,_while_co-atoms are of_the_form_$N\setminus\{i\}$ for_some $i\in N$.

An_important_property is_that_in a lower locally distributive lattice,_any_element $x$ can be written as an_irredundant supremum of join-irreducible_elements_in a unique way_(this is called the *minimal_decomposition* of $x$). We denote by_$\eta^*(x)$ the_set of_join-irreducible elements in the minimal decomposition of $x$, and we denote_by $\eta(x)$ the *normal decomposition* of_$x$, defined as the_set of_join-irreducible_elements smaller or_equal_to $x$,_i.e., $\eta(x):=\{j\in \mathcal{J}(L)\mid j\leq x\}$. Hence $\eta^*(x)\subseteq_\eta(x)$, and_$$x=\bigvee_{j\in \eta^*(x)} j = \bigvee_{j\in \eta(x)}_j.$$ Put differently, the_mapping_$\eta$ is an isomorphism of $L$_onto $\mathcal{O}(\mathcal{J}(L))$ (Birkhoff’s theorem).

Like