Definition:Complex Semi-Inner Product