relációt
Reláció egy formalizált kapcsolatrendszer, amely több halmazon értelmezett összefüggéseket ír le. Formálisan egy n-es reláció R egy alaphalmazok A1, A2, ..., An részhalmaza az A1 × A2 × ... × An n-szoros szorzatának. Az elemek az úgynevezett n-tupplok, vagyis n komponensből álló párok vagy többtagú tömbök, ahol minden komponens az adott halmazból származik. Bináris relációk esetén R ⊆ A × B, tehát elemei párok.
Példákul az egyenlőség reláció: minden a ∈ A-hoz hozzárendeli magát, azaz {(a,a) | a ∈ A}. A számokra a
Jellemzők és típusok közé tartozik, hogy a relációk lehetnek reflexívek (minden a esetén (a,a) ∈ R), szimmetrikusak
A számítástechnikában és az adatmodellezésben a relációk alapvető szerepet játszanak. A reláció a relációs adatbázisok alapegysége: