A theorem on the partial order derived from a certain transformation semigroup. Charles Loewner Mathematische Zeitschrift