Loogika
Funktsioonid, mis on defineeritud ühe hulga põhjal, st funktsioonid, mis
kujutavad suvalise hulga A otseastme sellesama hulga elemendiks.
Selliseid funktsioone nimetatakse algebralisteks teheteks või ka lihtsalt
teheteks(operation). Tehte tulemid kuuluvad võimalike argumentide hulka
A. Tehte argumente nimetatakse operandideks.
LOOGIKAALGEBRA TEHE on tõeväärtuste hulgal(tõene, väär) defineeritud
tehe.
Neid arve, millega tehet sooritatakse nimetatakse OPERANTIDEKS.
Kui tehtes on kaks operanti, siis on tegemist BINAARSE tehtega.
Kui tehtel on üks operant, nt ruutu tõstmise tehe, siis on see UNAARNE
tehe.
Lauseloogikas on kasutusel KAKS ALGEBRAT, mis kuuluvad BOOLE’I algebra
klassi: tõeväärtuste algebra ja lausearvutuse algebra. Boole’i algebra
lihtsat erijuhtu, mida esindab kahe kahe tõeväärtusega Boole’i algebra,
nimetatakse ka loogikaalgebraks.
Lausearvutuse Boole’i algebra kandvat hulka võiks nimetada
annaabi.ee 
