The first two conditions imply bilinearity. The defining difference between a pseudo-inner product and an inner product proper is that the former is not required to be positive definite, that is, η (u, u) < 0 is allowed.