A presentation of the dual symmetric inverse monoid

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