Vector space/Bidual space/Definition

Let ${\displaystyle {}K}$ be a field, and let ${\displaystyle {}V}$ be a ${\displaystyle {}K}$-vector space. Then the dual space of the dual space ${\displaystyle {}{V}^{*}}$, that is,

${\displaystyle {({V}^{*})}^{*},}$

is called the Bidual of ${\displaystyle {}V}$.