ABSTRAK
Kongruen pada semigrup 𝑆adalah relasi ekivalen 𝜎 yang kompatibel pada 𝑆. Relasi kongruen
σ disebut g-kongruen pada S jika untuk setiap 𝜎-klas 𝐴 dari 𝑆 terdapat satu dan hanya satu
elemen 𝑒 dari 𝐴 yang merupakan identitas kanan dari 𝐴 . Himpunan tak kosong 𝑆 yang
dilengkapi operasi biner “•??? dan relasi urutan parsial ≤, (𝑆,•, ≤)disebut semigrup terurut jika
𝑆, ≤ merupakan himpunan terurut parsial sekaligus (𝑆,•) semigrup.
Kata kunci : semigrup, semigrup terurut, kongruen, g-kongruen.
ABSTRAK
Gunung Ungaran merupakan kawasan dengan berbagai macam biodiversitas, baik