Category:Definitions/Inverse Semigroups