ABSTRACT Congruent is a special type of an equivalent relation that plays an important role in algebraic structures. This final project discusses the concept of semigroup, (n,m)-semigroup, homomorphism on (n,m)-semigroup and congruence on (n,m)-semigroup. This final project is a review of part of the article of Xiao [Pure and Applied Mathematics Journal, 6 (2017), 120-123] Keywords: Semig…