有序完备集

order-complete set