「関数fの最大地」の定義ってImfの最大元だけど、
「関数fの極大値」はImfの何だと定義されてるの？