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