第何回か忘れたw。実数とかの大小関係があれば、最大元とかそういうのが定義できるのは分かるんだけど、順序関係を満たすようなものであれば、最大(小)元、極大(小)元、上限、下限などが考えられる的な流れのところだった。念のために定義を書いておこう。集…