continuous linear functionals, semi-inner products