全順序_total_order