For a left type-A monoid S, let tau be the congruence on S generated by R*. There exists a congruence rho on S which induces the least right cancellative congruence on each of the tau-classes. In this paper we investigate the congruence rho and give a structure theorem for the class of all left-type-A monoids for which rho intersection R* is the identity relation.
