Definition:Complex Inner Product