Semirings Rings with additional structure mathematics