Equivalentierelatie: verschil tussen versies

Er is een diepe overeenkomst tussen equivalentierelaties op en [[partitie (verzamelingenleer)|partities]] van een verzameling. Dit verband wordt uitgedrukt door de hoofdstelling van equivalentierelaties.

 

:<math>x \sim_P y</math> desda er een <math>K \in P</math> is zodanig dat <math>x \in K</math> en <math>y \in K.</math>