Ækvivalensklasse: Forskelle mellem versioner
Content deleted Content added
m WikiProjekt Check Wikipedia html entity fixes ved brug af AWB |
m Flertydige WL: disjunkt → disjunkt (matematik) |
||
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 [[disjunkt (matematik)|disjunkt]]e.
==Bevis for at ækvivalensklasser udgør en partition==
|