最大値
比較可能なデータの集合$ Dにおいて、あるデータ$ a$ (a\in D)が任意のデータ$ b$ (b\in D)以上であるとき、$ aを集合$ Dの最大値と呼ぶ。
#テーマ2