M M M yaitu ( , , ) a b a b dan memenuhi ( ) ( ) a b µc a bµc untuk
setiap , , a b c M dan , µ . Sub -semigrup B dari -semigrup M disebut
bi- -ideal dari M jika B M B B . Jika M adalah -semigrup dengan
elemen nol, maka setiap bi- -ideal dari M memuat elemen nol. -semigrup M
merupakan bi-simple- -semigrup jika dan hanya jika M m M m untuk
semua m M . Bi - -ideal B dari -semigrup M merupakan minimal
bi- -ideal dari M jika dan hanya jika B merupakan
bi-simple- -semigrup.
Kata kunci : -semigrup, bi - -ideal, elemen nol, minimal bi- -ideal,
bi-simple- -semigrup