Definition of "semirings"

semirings