This study was aimed to consider the NG-group that consisting of transformations on a
nonempty set A has no bijection as its element. In addition, it tried to find the maximal
order of these groups. It found the order of NG-group not greater than n. Our results proved
by showing that any kind of NG-group in the theorem be isomorphic to a permutation group
on a quotient set of A with respect to an equivalence relation on A.