Prehilbert space

Summary