Source: wikibot/residuated-lattice

= Residuated lattice
{wiki=Residuated_lattice}