Category:Condition for Partition between Invertible and Non-Invertible Elements to induce Congruence Relation on Monoid