A theorem on the partial order derived from a certain transformation semigroup