Hilbert space
If is a Hilbert space, the Hilbert space has a (unique) predual formula_13,