inequalities; sesquilinear forms; inner product structure; vector space