結果 : totally ordered set in discrete mathematics