(6 revisi perantara oleh 2 pengguna tidak ditampilkan)
Baris 1:
Dalam [[matematika]], '''kelas ekuivalen''' atau '''kelas kesetaraan ('''{{Lang-en|equivalence class}}) adalah pembagian (''partisi'') dalam suatu himpunan yang dilakukan berdasarkan suatu [[relasi ekuivalenekuivalensi]]. Kelas-kelas ekuivalen dalam suatu himpunan dibentuk sehingga elemen ''<math>a''</math> dan ''<math>b''</math> berada dalam satu kelas ekuivalen jika dan hanya jika <math>a</math> dan <math>b</math> terhubung dalam relasi ekivalenekuivalen.
Secara formal, kelas ekuivalen didefinisikan sebagai berikut: bila<blockquote>Bila ada himpunan {{mvar|<math>S}}</math> dan relasi ekuivalen {{<math|~}}>\sim</math>, ''kelas ekuivalen'' suatu elemen {{mvar|<math>a}}</math> dalam {{mvar|<math>S}}</math> adalah himpunan<blockquote><math>\{ x \in S \mid x \sim a \}</math></blockquote>elemen-elemen yang ekuivalen dengan <math>a</math>.</blockquote>
elemen-elemen yang ekuivalen dengan {{mvar|a}}. Dapat dibuktikan dari definisi relasi ekuivalen bahwa kelas-kelas ekuivalen membentuk partisi dari {{mvar|<math>S}}</math>. Artinya, himpunan {{mvar|<math>S}}</math> bisa dibagi menjadi beberapa bagian yang [[Himpunan_saling_lepas|saling lepas]], dan bagian-bagian ini adalah kelas-kelas ekuivalen pada {{mvar|<math>S}}</math>.▼
:<math>\{ x \in S \mid x \sim a \}</math>
▲elemen-elemen yang ekuivalen dengan {{mvar|a}}. Dapat dibuktikan dari definisi relasi ekuivalen bahwa kelas-kelas ekuivalen membentuk partisi dari {{mvar|S}}. Artinya, himpunan {{mvar|S}} bisa dibagi menjadi beberapa bagian yang saling lepas, dan bagian-bagian ini adalah kelas-kelas ekuivalen pada {{mvar|S}}.
