For example, both "monoid" and "semi group" have an underlying "set" and an associative binary operator.
mathematics text may coerce either structure to its carrier set in formal argumentation and make statements that are true for both structures (Ganesalingam, 2008).