Definition:Semi-Inner Product Space