半环的双理想
반배적쌍이상
Bi-ideal of semiring