\liminf_{F}:=\sup_{U \in F}\inf_{U}f