En toleransrelation (eller helt enkelt tolerans) på en mängd är en binär relation som uppfyller egenskaperna för reflexivitet och symmetri , men som inte nödvändigtvis är transitiv . Således är ekvivalensrelationen ett specialfall av tolerans.
I motsats till ekvivalensrelationen , som ger en partition av den uppsättning element som den är definierad på, i icke-korsande delmängder , ger toleransrelationen en täckning av denna uppsättning . Toleransrelationen används till exempel även för att klassificera information i kunskapsbaser . [ett]
På den materiella nivån betyder tolerans följande. Varje objekt går inte att särskilja från sig självt (egenskap för reflexivitet ), och likheten mellan två objekt beror inte på i vilken ordning de jämförs (egenskap för symmetri ). Men om ett objekt liknar ett annat, och det här andra liknar ett tredje, betyder det inte alls att alla tre objekt liknar varandra (därför kan det hända att transitivitetsegenskapen inte håller).
Toleransrelationen används ofta för att beskriva likhetsförhållandet mellan verkliga föremål, bekantskapsförhållandet eller vänskap mellan människor. I alla dessa fall antas inte nödvändigtvis transitivitetsegenskapen hålla. Visserligen kan Ivanov vara bekant med Petrov, Petrov med Sidorov, men samtidigt kan Ivanov och Sidorov vara främlingar för varandra.
En relation på en uppsättning ord kommer också att vara tolerant om den definieras som närvaron av minst en vanlig bokstav . I det här fallet är till exempel korsordets korsande ord i relation . [2]