Ækvivalensklasse: Forskelle mellem versioner
Content deleted Content added
m robot Tilføjer: eo:Ekvivalentklaso |
|||
Linje 8:
'''[[Lemma]] 1:''' ''a'' ∈ [''a''] for alle ''a'' ∈ ''X''.
''Bevis.'' Da ~ er [[ækvivalensrelation|refleksiv]] er ''a'' ~ ''a'', og dermed må ''a'' ∈ [''a''] per definitionen af ækvivalensklassen [''a''].
| |||