En tolerancerelation (eller blot tolerance) på et sæt er en binær relation , der opfylder egenskaberne refleksivitet og symmetri , men som ikke nødvendigvis er transitiv . Ækvivalensforholdet er således et særligt tilfælde af tolerance.
I modsætning til ækvivalensrelationen , som giver en opdeling af det sæt af elementer, som det er defineret på, i ikke-skærende delmængder , giver tolerancerelationen en dækning af dette sæt . Tolerancerelationen bruges f.eks. også til at klassificere information i vidensbaser . [en]
På det materielle niveau betyder tolerance følgende. Ethvert objekt kan ikke skelnes fra sig selv (egenskab til refleksivitet ), og ligheden mellem to objekter afhænger ikke af den rækkefølge, de sammenlignes i (egenskab til symmetri ). Men hvis et objekt ligner et andet, og dette andet ligner et tredje, betyder det slet ikke, at alle tre objekter ligner hinanden (således holder transitivitetsegenskaben muligvis ikke).
Tolerancerelationen bruges ofte til at beskrive lighedsforholdet mellem virkelige genstande, bekendtskabsforholdet eller venskab mellem mennesker. I alle disse tilfælde antages transitivitetsegenskaben ikke nødvendigvis at holde. Faktisk kan Ivanov være bekendt med Petrov, Petrov med Sidorov, men på samme tid kan Ivanov og Sidorov være fremmede for hinanden.
En relation på et sæt ord vil også være tolerant, hvis den defineres som tilstedeværelsen af mindst ét almindeligt bogstav . I dette tilfælde er krydsordets krydsord for eksempel i relation . [2]