Definition 16.2.1 (Real Polar).label Let $\dpn{E, F}{\lambda}$ be a duality over $K \in \RC$ and $A \subset E$, then
\[A^{\circ} = \bracsn{y \in F| \text{Re}\dpn{x, y}{\lambda} \le 1 \forall x \in A}\]
is the real polar of $A$.
Definition 16.2.1 (Real Polar).label Let $\dpn{E, F}{\lambda}$ be a duality over $K \in \RC$ and $A \subset E$, then
is the real polar of $A$.