Ґратка (порядок)
З Вікіпедії, безкоштовно encyclopedia
Ґратка — частково впорядкована множина, в якій для кожної пари елементів існує супремум та інфімум.
«Ґратко-подібними» структурами є напівґратки, ґратки, булеві алгебри, алгебри Гейтінга.
Всіх їх можна визначити і як алгебраїчні структури, тому теорія ґраток є частиною як теорії порядку, так і універсальної алгебри.