Posset & Latice
Poset ( Partially ordered set) Definisi Poset atau partially ordered set atau juga diesbut himpunan terurut parasial merupakan suatu relasi dimana ia mepunyai 3 sifat yang harus terpenuhi agar bisa disebut poset yaitu sifat refleksif, antisimetris dan transitif. Misalkan : Misalkan A sebuah himpunan bilangan bulat positif dan R sebuah relasi yang menuju ke A sehingga menjadi ( a,b ) ada di dalam R jika a membagi habis b. - Karena jika a membagi habis b, berarti b tidak akan membagi habis a kecual a samadengan b (a=b). Sehingga relasi ini merupakan relasi antisimetris. - Karena setiap bilangan bulat membagi habis dengan angkanya sendiri, maka relasinya menggambarkan sebuaH relasi refleksif. - Karena a membagi habis b dan b akan membagi habis c, maka berarti a juga akan bbisa membagi habis c, oleh karena itu bisa juga merupakan sifat transitif. Dengan demikian, relasi diatas merupakan poset atau himpunan terurut parsial. Contoh –co