The dual symmetric inverse monoid I n is the inverse monoid of all isomorphisms between quotients of an n-set. We give a monoid presentation of I n and, along the way, establish criteria for a monoid to be inverse when it is generated by completely regular elements.
David Easdown, James East, D. G. Fitzgerald