Order-extension principle