Man definiere auf der dreielementigen Menge { 0 , 1 , u } {\displaystyle {}\{0,1,u\}} die Struktur eines kommutativen Halbringes, bei dem 0 ⋅ u ≠ 0 {\displaystyle {}0\cdot u\neq 0} gilt.
