Prehilbert space