Relasi ekuivalensi: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
k clean up |
k mengubah pranala merah "kelas ekuivalensi" menjadi kelas ekuivalen |
||
Baris 18:
*jika ''a'' ~ ''b'' dan ''b'' ~ ''c'' maka ''a'' ~ ''c''. ([[relasi transitif|Transitivitas]])
''X'' bersama dengan relasi ~ disebut sebuah [[setoid]]. [[Kelas ekuivalen|Kelas ekuivalensi]] dari <math>a</math> di bawah ~, dilambangkan dengan <math>[a]</math>, didefinisikan sebagai <math>[a] = \{b\in X \mid a\sim b\}</math>.
==Pranala luar==
| |||