Definition:Semi-inner Product