sup , infってのは
その集合の最大値、最小値のことですか?