binär relation

Inom matematiken är en binär relation , mellan två mängder och , en delmängd av den cartesiska produkten mellan och : "Binär" betyder i detta sammanhang "tvåställig". Det finns även ternära (treställiga) relationer, kvaternära (fyrställiga) relationer och så vidare – som delmängder av cartesiska produkter av tre eller fler mängder – men dessa är sällan förekommande i "vanlig" matematik. Därför används ofta relation som synonymt med binär relation. Ett element är relaterat till ett element via relationen om detordnade paret är ett element i mängden , det vill säga om . Istället för att skriva kan man skriva vilket utläses: ' är relaterat till via .' Tre viktiga typer av binära relationer inom matematiken är ekvivalensrelationer, ordningsrelationer och avbildningar.