NOTE: This site has just upgraded to Forester 5.x and is still having some style and functionality issues, we will fix them ASAP.

remark.  [ca-0005]

This notion generalizes to commutative semirings using the approach in [izhakian2016supertropical].