Wiktionary
prehilbert spaces
n. (plural of prehilbert space English)
n. (plural of prehilbert space English)