Equivalentierelatie: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
k robot Erbij: hr:Relacija ekvivalencije |
Geen bewerkingssamenvatting |
||
Regel 8:
:(''[[Reflexieve relatie|reflexiviteit]]'') voor alle ''x'' <math>\in</math> ''X'' geldt dat ''x'' ~ ''x'',
:(''[[symmetrie]]'') voor alle ''x'', ''y'' <math>\in</math> ''X'' geldt: als ''x'' ~ ''y'' dan ''y'' ~ ''x'',
:(''[[transitiviteit (wiskunde)|transitiviteit]]'') voor alle ''x'', ''y'', ''z'' <math>\in</math> ''X'' geldt: als ''x'' ~ ''y'' en ''y'' ~ ''z'' dan ''x'' ~ ''z''.
Een equivalentierelatie kan ook gedefinieerd worden als een tweeplaatsige relatie ~ op ''X'' waarvoor geldt dat:
| |||