Halfring

Een halfring of ook semiring is een ring, maar zonder de eis dat elk element een tegengestelde moet hebben voor de optelbewerking.

Een halfring is dus een verzameling R, waarop twee bewerkingen, een optelbewerking + en een vermenigvuldigingsbewerking x gedefinieerd zijn, die aan een aantal eisen voldoen. Elke ring is dus ook een halfring. Een voorbeeld van een halfring is de verzameling N van de natuurlijke getallen met de gewone optelling + en vermenigvuldiging x. De betekenis van de halfring is, dat er stellingen over bewezen kunnen worden, die dan voor alle halfringen gelden.