Решітка Поста (ґратка Поста) — ґратка всіх клонів на булевій множині (булева множина позначається 2={0, 1}) відсортована за включенням. Була описана Емілем Постом в 1941 році.

Використовується в математичній логіці та універсальній алгебрі.

Визначення

ред.

Булевими функціями чи логічними операціями арності n є функції f: 2n2.

Множина таких функцій що містить всі проєкції та замкнена відносно композиції функцій називається клоном.

Поняття клона є близьким до більш старшого терміну замкнений клас функцій.

Властивості

ред.

Перетином двох клонів є клон.

Решітка

ред.

...

Див. також

ред.

Джерела

ред.