krata

krata,

mat. zbiór z relacją porządku, taką że dla dowolnych 2 elementów istnieją ich kresy, górny oraz dolny (kres zbioru);

równoważnie definiuje się kratę jako zbiór z 2 działaniami dwuargumentowymi (oznaczanymi zazwyczaj ∨ i ∧), przemiennymi i łącznymi, spełniającymi tzw. prawa pochłaniania: a∨(a∧b) = a i a∧(a∨b) = a.