Normal cone (functional analysis)
In mathematics, specifically in order theory and functional analysis, if is a cone at the origin in a topological vector space such that and if is the neighborhood filter at the origin, then is called normal if = [], where []:= {[]:} and where for any subset, []:= (+) is the saturatation of .. Normal cones play an important role in the theory of ordered topological vector spaces and ...