This paper develops a geometric framework for analyzing the ideal structure of the bipolar semigroup B= (−a, b) ∣a, b∈R0+ under coordinate-wise addition. Subsets of B are interpreted as planar regions, allowing ideals to be described in terms of boundary behavior. In particular, we prove that the complement of a simply connected region is an ideal of the commutative additive semigroup (B, +) if and only if its boundary contains no strictly decreasing segment. This provides a direct and visually verifiable criterion for ideality, linking algebraic structure to geometric shape. Each ideal can be written as a union of translates of the form z+B, with minimal generating sets determined by boundary structure. Potential applications to modeling bipolar system states, including cybersecurity contexts, are also discussed. These results uncover an intrinsic symmetry between algebraic closure and geometric monotonicity, offering a new perspective on semigroup ideals through spatial structure. In contrast to our previous work on the semiring (B, +, ·), where ideals necessarily exhibit symmetry with respect to the line y=−x, we show that removing the multiplicative operation leads to a fundamentally different geometric behavior: ideals in the semigroup (B, +) no longer possess symmetric shapes. This demonstrates that the multiplicative structure is the key mechanism enforcing geometric symmetry.
Laipaporn et al. (Mon,) studied this question.