Часткова впорядкованість На множині X можна ввести відношення порядку ⊆, яке задовольняє наступним властивостям: ТВЕРДЖЕННЯ 6: Якщо A, B та C — деякі множини, то: рефлексивність: A ⊆ A антисиметричність: A ⊆ B та B ⊆ A тоді й тільки тоді, якщо A = B транзитивність: If A ⊆ B та B ⊆ C тоді A ⊆ C Це твердження говорить про те, що множина X є алгебраїчною структурою, або решіткою, і якщо вона дистрибутивна (що показано в твердженні 1) та для кожного елементу існує його доповнення, то така структура має назву булевої алгебри (таке визначення булевої алгебри не є математично строгим, докладніше дивись в статті Булева алгебра).