In this paper, we characterise all maximal elements in the semigroup
$S(X,Y)=\{f\in T(X) : f(Y)\subseteq Y\}$ with respect to the natural partial order. Our results correct an error in the work of Sun and Wang [‘Natural partial order in semigroups of transformations with invariant set’, Bull. Aust. Math. Soc. 87(1) (2013), 94–107].