identity
annihilator
Implement this method to create the core of an extend operator
true if the value is within the Semiring's domain
Implement this method to create the core of a summary operator
Override relax to add side effects to the relax operator