Inom matematiken är en (binär) relation , mellan två mängder och , en delmängd av den cartesiska produkten mellan och :
Det finns även tertiära-, kvaterniära-, kvintiljära-, o.s.v. relationer — som delmängder av cartesiska produkter av tre, fyra respektive fem mängder — men dessa är sällan förekommande i 'vanlig' matematik.