Normal cone (functional analysis) (original) (raw)

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 topological vector lattices.