Himpunan kabur

Dalam matematika, himpunan kabur atau himpunan fuzi () adalah himpunan objek-objek dengan status keanggotaan yang tidak dapat ditentukan secara tegas. Konsep himpunan kabur diperkenalkan secara terpisah di tahun 1965 oleh Lotfi A. Zadeh, sebagai perumuman dari konsep himpunan yang standar. Di tahun yang sama, Salii mengembangkan struktur bernama L-relation yang lebih umum; struktur ini ia teliti dari sudut pandang aljabar abstrak. 

Pada teori himpunan klasik (standar), status keanggotaan elemen dalam suatu himpunan ditentukan dari kondisi benar-salah — antara elemen tersebut termasuk anggota himpunan, atau tidak termasuk. Di sisi lain, teori himpunan kabur memperbolehkan status keanggotaan yang parsial. Sebagai contoh, batu pirus yang berwarna toska dapat dianggap sebagai anggota himpunan semua benda hijau, walau tidak sepenuhnya. Status keanggotaan ini selanjutnya dapat dideskripsikan dengan suatu fungsi keanggotaan yang bernilai real pada selang [0, 1]. Teori himpunan kabur dapat diterapkan pada bidang ilmu dengan informasi yang tidak pasti atau tidak lengkap. Himpunan kabur, bersama dengan relasi kabur, saat ini telah diterapkan dalam bidang linguistik, pengambilan keputusan, bioinformatika, dan clustering.

Definisi 
Himpunan kabur dapat didefinisikan sebagai pasangan , dengan  adalah sebarang himpunan (yang umumnya disyaratkan tidak kosong) dan  adalah fungsi keanggotaan. Himpunan  (terkadang disimbolkan oleh ) disebut dengan semesta pembicaraan, dan untuk setiap  nilai  disebut derajat dari keanggotaan elemen  dalam . Lebih lanjut,  disebut

 tidak termasuk dalam himpunan kabur  jika ,
 sepenuhnya termasuk jika ,
 sebagian termasuk jika .

Dari definisi di atas, beberapa definisi lain didapat dibuat untuk mempermudah diskusi mengenai operasi-operasi terkait himpunan kabur. Beberapa definisi tersebut antara lain:

 Himpunan kabur  dikatakan kosong () ketika (dalam artian jika dan hanya jika)

 

 Dua himpunan kabur  dan  dikatakan sama () ketika

 

 Himpunan kabur  dikatakan subset dari himpunan  () ketika

Referensi 

Logika kabur
Teori himpunan