"quasinormable space"@en . . .