有序畴

ordering domain