In mathematics, the bipolar theorem is a theorem in functional analysis that characterizes the bipolar of a set. In convex analysis, the bipolar theorem refers to a necessary and sufficient conditions for a cone to be equal to its bipolar. Wikipedia