Det er lett å se at å sette b lik 0 gir det multiplikative enhetselemenet: · 1 = · (0) = + ( · 0) = + 0 = Videre, multiplikasjon distribuerer over addisjon: · ( + ) = ( · ) + ( · ). Så, (, +, 0, ·, 1) er en kommutativ semiring.