Binär relation
relation som är tvåställig / From Wikipedia, the free encyclopedia
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 det
ordnade 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.