The Bipolar of a Set

Definition: Let $(E, F)$ and $(F, G)$ be dual pairs and let $A \subseteq E$. The Bipolar of $A$ in $G$, denoted by $A^{\circ \circ}$, is defined to be the polar (in $G$) of the polar of $A$ in $F$.