順序環の言語