A presentation for a submonoid of the symmetric inverse monoid

Apatsara Sareeto, Jörg Koppitz

A fully invarient congruence relations on the free algebra on a given type induces a variety of the given type. In contrast, a congruence relation of the free algebra provides alge…