Noun
An
idempotent
semiring
.