En binær relasjon på en mengde definerer en sammenheng mellom to og to elementer i , slik at for elementene og , så er relasjonen enten sann eller usann. For eksempel kan en for mengden av punkt i planet (,) definere relasjonen «har første koordinat lik». For to punkt vilkårlige punkt kan denne relasjonen være sann eller usann: (,) har første koordinat lik (,). Når relasjonen er sann for to element og , så kan dette skrives .