Tsükkel: suletud elementaarahel orienteerimata graafis Täielik graaf: graaf, mille iga tipp on ühendatud kõigi teiste tippudega Tühi graaf: graaf, milles pole ühtki kaart Vastavused ja relatsioonid Lähtehulk: hulk millest elemente vastavusse seatakse Relatsioon: vastavuse erijuht, kus lähte- ja sihthulk on samad Sihthulk: hulk, millesse elemente vastavusse seatakse Järjestussuhted Aatom: osalise järjestussuhte vähimat elementi kattev element Alamraja: suurim alamtõke Alamtõke: hulgaelement, millest madalamal ei asu elemente (neid võib olla mitu) Boole'i algebra: tõkestatud, distributiivne ja täienditega võre Osaline järjestussuhe: relatsioon, mis on antisümmeetriline ja transitiivne Täielik järjestussuhe: osalise järjestussuhte erijuht, kus mittevõrreldavaid paare ei leidu. Võre: (osaline) järjestussuhe, kus iga alushulga suvalise kahe elemendi jaoks leidub alamraja ja ülemraja Ülemtõke: hulgaelement, millest kõrgemal ei asu elemente (neid võib olla mitu)
Hulka esitatakse: Hulgaelemendid ei ole hulgas üksteise suhtes kuidagi järjestatud. — tema elementide täieliku loeteluna loogsulgude vahel: Hulgas ei ole korduvaid elemente. { a, e, i, o, u, õ, ä, ö, ü } või {a e i o u õ ä ö ü} Igat hulgaelementi on hulgas "üks eksemplar" : { 1 3 3 5 5 5 } = { 1 3 5 } ( komast võib loobuda, kui iga hulgaelement esitub üksiku tähemärgi abil ) Hulgaelemendi e V tähistatakse: e ∈ V kuulumist hulka — tema elementide osalise loeteluna, mis esitab mingit regulaarset Elemendi d mittekuulumist hulka V tähistatakse: d ∉ V äratuntavat seaduspärasust: hulga sisaldumine teises hulgas:
annaabi.ee 
