Exploring Ideals of Semiring with Involution | Synapse