Definition:Semi-inner Product Space