Inner-product space

Summary