Apparently, the name 'semiring' is taken.