Let be a set and denote the semigroup (under composition) of transformations from into itself. For a fixed nonempty subset of let Then is a semigroup of total transformations of which leave a subset of invariant. In this paper, existence and uniqueness of maximal and minimal ideals of are proved. Moreover, we present a maximal congruence on when is a finite set.