Pöördgraaf sisaldab kaari seal, kus graafil neid pole. Puu on sidu tsükliteta orienteerimata graaf. Puul on n tippu ja n-1 kaart. Kromaatiline arv on minimaalne arv millega saab kõik graafi tipud ära varvida nii, et naabertipud oleksid erivärvi. Graafe saab esitada naabrusmaatriksiga, intsidentsusmaatriksiga. Algebrad: Algebra koosneb alushulgast ja defineeritud tehetest. Tehe on alushulgal kinnine siis, kui rakendada tehet kahe elemendi peale, siis vastus on samuti selle hulga element. Ühe binaarse tehteda algebralist süsteemi nimetatakse grupoidiks. Ühikelement on selline element, millele rakendades tehet suvalise elemendiga, saab vastuses selle sama elemendi. Pöördelement on selline element, mis tehte rakendamisel elemendiga annab vastuseks ühikelemendi. Poolrühm on assotsiatiivse tehtega süsteem.
∀a,,b,,c∈ ∈M [(a ≠ b) ∧ (b ≠ c) ∧ (a ≠ c) ∧ (a R b) ∧ (b R c) → (a R c)] paaride arv, mis tuleb relatsiooni lisada või sellest eemaldada , et omadus αi kehtima hakkaks. 3 ülesanne: Alushulgal M = { a b c d } on määratud relatsioon 2 R = {< a, a > < a, b > < a, c > < b, d > < c, c > < c, d > < d, b > < d, c > < d, d >} R: Leida R kaugus kõigi omadusteni α1 α2 α3 α4 α5 α6
annaabi.ee 
