ternäärisen

Ternäärinen on adjektiivi, jolla tarkoitetaan kolmen muuttujan, operandin tai arvon muodostamaa kokonaisuutta. Sillä viitataan yleisesti rakenteisiin ja operaatioihin, joissa kolmiargumenttisuus on olennaista. Matematiikassa ternäärinen operaatio on kolmi-argumenttinen funktio f: A × B × C → D. Ternäärinen relaatio on R ⊆ A × B × C. Näiden rakenteiden ominaisuuksia tutkitaan algebrassa ja logiikassa.

Tietotekniikassa ternäärisiä rakenteita esiintyy esimerkiksi kolmi-argumenttisissa operaatioissa. Yleisimmän esimerkin muodostaa ehtolauseke, joka on kolmi-argumenttinen operaatio: condition ? expr1 : expr2, jossa tulos määräytyy ehdon todeksi tai epätodeksi. Ternäärisiä operaatioita käytetään myös algebrallisissa rakenteissa, kuten ternäärissä ryhmissä, sekä erilaisissa logiikka- ja tietojenkäsittelytieteellisissä sovelluksissa.

Etymologisesti sana ternäärinen juontuu latinankielisestä sanasta ternarius, joka tarkoittaa kolminkertaista. Käsite on yleisesti käytetty useilla tieteenaloilla, mutta sen tarkka merkitys riippuu kontekstista.