Library ▹ Algebra ▹ Semirings
  • semiring
  • SemiRing (semirings)
  • (R)
  • +
  • 0R
  • [R, +]
  • ⋅
  • 1R
  • [R, ⋅]
  • Homomorphisms
  • Subsemirings
  • ⋅
  • an
  • Examples
  • Iterated operations
  • Formulas
[View Source]