semiring_absorptive (262B)
1 # Absorptive semiring 2 3 A [semiring] where you have 1 + a = 1 for every a 4 5 Implies [semiring_idempotence] 6 7 [absorptive_semiring_notes] 8 9 Generalization: [semiring_p_stable] 10 11 Up: [dioid] 12 13 See also: [absorptivity] 14 15 Aliases: absorptive semiring, absorptive semirings