semiring_idempotent (110B)
1 # Idempotent semiring 2 3 A [semiring] satisfying the equation a+a = a for every a 4 5 Up: [semiring], [idempotent]