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.