Definition:Real Semi-Inner Product Space