Penelitian dengan judul “Karakteristik Himpunan Potongan Dari Himpunan Fuzzy Bernilai Semilatis” dilakukan oleh Harina Orpa Lefina Monim dibawah bimbingan Prof. Dr. Sri Wahyuni, MS. dan Dr. Indah Emilia W., M.Si. pada tahun 2018.
Berikut ini merupakan intisari dari penelitian tersebut.
INTISARI
Semilatis merupakan himpunan terurut parsial yang setiap pasang elemen mempunyai infimum atau supremum. Semilatis yang dilengkapi relasi ekuivalensi dengan definisi untuk setiap dengan , dan berturut-turut filter yang dibangkitkan oleh menyebabkan terbentuknya kelas-kelas ekuivalensi. Koleksi kelas-kelas ekuivalensi disebut himpunan kuosien dan dinotasikan . Himpunan kuosien merupakan poset terhadap relasi urutan inklusi. Himpunan kuosien umumnya tidak membentuk semilatis.
Pada himpunan fuzzy bernilai semilatis pada diambil semilatis yang dilengkapi dengan relasi ekivalensi seperti di atas. Untuk , himpunan bagian dari domain X disebut himpunan potongan . Koleksi semua himpunan potongan yang dinotasikan dengan , membentuk poset terhadap relasi inklusi. Invers fungsi dari , dinotasikan , menentukan fungsi karakteristik untuk setiap . Fungsi karakteristik dari dengan adalah yang di definisikan:
Selanjutnya, koleksi fungsi karakteristik yang diindeks oleh yaitu , merupakan koleksi himpunan bagian dari himpunan tak kosong . Koleksi digunakan untuk membangun teorema sintesa melalui himpunan fuzzy bernilai semilatis . Akan dikaji syarat cukup koleksi merupakan koleksi semua himpunan potongan dari . Pada sisi lain disajikan konsep sistem semi klosur dan sistem dualnya. Selanjutnya, diselidiki kapan koleksi semua potongan merupakan sistem semi klosur dan sistem dual semi klosur. Lebih lanjut lagi disajikan hubungan isomorfisma antara koleksi himpunan potongan dan koleksi bayangan. Berdasarkan sifat tersebut dikaji syarat perlu dan cukup koleksi potongan dari dua himpunan fuzzy bernilai semilatis .
Hasil yang diperoleh adalah koleksi potongan dari himpunan fuzzy bernilai semilatis merupakan keluarga himpunan bagian yang bersifat semi klosur yaitu klosur yang diperlemah atas himpunan tak kosong . Hasil lainnya adalah dua himpunan fuzzy bernilai semilatis mempunyai koleksi potongan yang bersesuaian.
Kata-kata kunci: semilatis, himpunan fuzzy, himpunan potongan, sistem semi klosurdan sistem dual semi klosur.