Operace (matematika)

Operace v matematice, logice a informatice je postup, který na základě daných vstupů (nazývaných též argumenty, vstupní hodnoty nebo operandy) vyprodukuje jednu nebo více hodnot (nazývaných též výstupní hodnoty, výsledky nebo výstupy).^[1] Nejčastěji se vyskytující operace jsou unární operace a binární operace. Unární operace vyžaduje jen jednu vstupní hodnotu (příkladem jsou trigonometrické funkce), zatímco binární operace vyžaduje dvě vstupní hodnoty (příkladem jsou třeba sčítání, odčítání, násobení nebo dělení).

Operace se ale nemusí týkat jen čísel, například v logice se mohou hodnoty pravda a nepravda spojovat operacemi konjunkce a disjunkce, vektory v lineární algebře se mohou sčítat a odčítat, množiny v teorii množin se mohou sjednocovat a pronikat a funktory v teorii kategorií se mohou skládat.

Operace nemusí být nutně definované pro všechny myslitelné hodnoty. Například operace dělení není pro reálná čísla definována, pokud je druhý argument 0. Argumenty, pro které je operace definována, tvoří definiční obor a hodnoty, které mohou být operací vyprodukovány, tvoří obor hodnot. ^{[2] [3]}