Almost subtractive submonoids of additive monoids and related quadratic forms

We introduce and study the class of almost subtractive submonoids of additive monoids. This property relaxes the strict condition of subtractivity while still allowing for a simulated subtraction operation sufficient for many algebraic applications. We explore the structural properties of these monoids and demonstrate their significance in the theory of modules over semirings, specifically regarding quadratic forms and their companions.