KELOMPOK II
RUHNI HIDAYATI
SINDI FEBROSA
FERI IRAWAN
Tujuan
Untuk mengetahui penjelasan Teorema –
Teorema Mengenai Operasi Join Dan Meet
Teorema – Teorema Mengenai Operasi
Join Dan Meet
Bukti : Pertama – tama akan ditunjukkan bahwa operasi join adalah asosiatif.
Artinya, untuk sembarang , , di dalam , berlaku
Misalkan
g
dan
Bukti : Menurut ,
Dengan demikian
Karena
Karena
Jika g dan , maka g sebab g adalah batas atas terkecil bagi g dan .
Maka menjadi