list_to_ord_set/2