The principal objects of interest in the current research are the finite sets and the contraction finite transformation semigroups and the characterization of nildempotent elements in . Let be a finite set, say = { , , β¦ }, where is a non-negative integer then β for which for all , β , | β | β€ | β | is a contraction mapping for all , β , provided that any element in ( ) is not assumed to be mapped to empty as a contraction. We show that β is nildempotent if there exist some minimal (nildempotent degree) , β such that = β
βΉ = where = then = = = β
implies β | ( )| where = for each β . Then = β + , , β for 1β₯ β₯ .