Ækvivalensklasse: Forskelle mellem versioner

Content deleted Content added
Esmil (diskussion | bidrag)
m typo og layout
Esmil (diskussion | bidrag)
m Rettet 'disjunkt'-link
Linje 2:
: [''a''] := { ''b'' ∈ ''X'' | ''a'' ~ ''b'' }.
Mængden af disse ækvivalensklasser udgør en [[partition af en mængde|partition]] af ''X'', og skrives ''X''/~.
Dvs. foreningen af alle ækvivalensklasser udgør hele ''X'', og de er alle parvist [[disjunktedisjunkt]]e.
 
==Bevis for at ækvivalensklasser udgør en partition==