結果 : define well ordered set in discrete mathematics