fntom (pypi): Implements a finite, negative, totally ordered monoid together with methods to compute its one-element Rees coextensions
Keywords: discrete triangular norm|finite negative totally ordered monoid|Rees coextension|Rees congruence|Reidemeister closure condition|tomonoid partition