Binaarne algebraline tehe
Binaarne algebraline tehe ehk binaarne algebraline operatsioon ehk kompositsiooniseadus hulgal S on binaarne algebraline tehe hulgal S ehk teiste sõnadega kahe muutuja funktsioon S-ilt ja S-ilt S-isse ehk teiste sõnadega funktsioon f otsekorrutiselt S×S hulka S. Sageli nimetatakse binaarset algebralist tehet lihtsalt binaarseks tehteks ehk binaarseks operatsiooniks. Ent eriti informaatikas kasutatakse neid termineid mõnikord laiemas mõttes, lubades funktsiooni väärtustena ka elemente, mis ei kuulu hulka S. Sel juhul esitatakse tingimus, et funktsiooni väärtused kuuluvad samasse hulka, kuhu argumendidki, kinnisuse omadusena. Nii on binaarne algebraline tehe sama mis binaarne kinnine tehe.