Invariant semigroups of orthodox semigroups

We consider, in a right inverse semigroupS with a multiplicative inverse transversalS ^o, the notion of anS ^o-invariant subsemigroup and use this to describe all the left amenable orders definable onS. The results obtained, together with their duals, are used to prove that ifS is an orthodox semigroup with a multiplicative inverse transversalS ^o, then every amenable order onS ^o can be extended to a unique amenable order onS. NATO Collaborative Research Grant 910765 is gratefully acknowledged. The second-named author also gratefully acknowledges support from the Calouste Gulbenkian Foundation, Lisbon.