b'\n_START_ARTICLE_\nGitter (ordning)\n_START_SECTION_\nGitter som partiellt ordnade m\xc3\xa4ngder\n_START_PARAGRAPH_\nEn partiellt ordnad m\xc3\xa4ngd \xc3\xa4r ett gitter om varje par av element i m\xc3\xa4ngden har en minsta \xc3\xb6vre gr\xc3\xa4ns och en st\xc3\xb6rsta undre gr\xc3\xa4ns. F\xc3\xb6r ett s\xc3\xa5dant par (a, b) betecknas den minsta \xc3\xb6vre gr\xc3\xa4nsen med a  b, den st\xc3\xb6rsta undre gr\xc3\xa4nsen med a  b. P\xc3\xa5 detta vis definierar vi gr\xc3\xa4nserna som bin\xc3\xa4ra operationer. Motsvarande m\xc3\xa4ngdoperation, att fr\xc3\xa5n en partiellt ordnad m\xc3\xa4ngd A erh\xc3\xa5lla minsta \xc3\xb6vre gr\xc3\xa4ns (respektive st\xc3\xb6rsta undre gr\xc3\xa4ns) betecknas  (resp.) d\xc3\xa4r _NEWLINE_Ett Lattice (L,  kallas en Boolesk algebra om det \xc3\xa4r distributivt och om varje element har ett komplement._NEWLINE_Ett slutet gitter har ett st\xc3\xb6rsta och ett minsta element, vilka normalt betecknas med 1 respektive 0.'