Lausearvutuse lausetele esitatavad tingimused: a.i. Välistatud kolmanda seadus. Iga lause on kas tõene või väär. a.ii. Mittevasturääkivuse seadus. Ükski lause ei saa olla nii tõene kui ka väär. a.iii. Tehteid võib teostada ükskõik milliste lausetega. a.iv. Tehte tulemuseks saadud lause tõeväärtus sõltub ainult...
Transitiivsust esitavad jooned ei lisaks enam osalise järjestuse kohta uut infot. näide: Eelnev osalise järjestuse näide < 2{3, 4}, ⊂ > omab järgnevat Hasse diagrammi: {3, 4} Ära on jäetud joon { } ja {3, 4} vahel, kuna ka olemasolevad jooned näitavad , et { } ⊂ {3, 4} {3} {4} ehk < { }, {3, 4} > ∈ R {} Hasse diagramm relatsioonile 2{3,4}, ⊂ näide: Koostame Hasse diagrammid kahele 8-elemendilisel alushulgal määratud osalisele järjestusele: < 2{a b c}, ⊂ > ja < {0,1}3, < > {a b c} 111 {a b} {a c} {b c} 011 101 110 {a} {b} {c} 001 010 100 { } 000...