证明:EF\mathcal{EF}EF 对有界 max\maxmax-算子封闭.
∵maxx≤n.f(x,y⃗)=n−˙minx≤n.f(n−˙x,y⃗)\because \max x \leq n. f(x, \vec{y}) = n \dot{-} \min x\leq n. f(n \dot{-}x, \vec{y})∵maxx≤n.f(x,y⃗)=n−˙minx≤n.f(n−˙x,y⃗) (习题 (1.9) )
∴EF\therefore \mathcal{EF}∴EF 对有界 max\maxmax-算子封闭.