"seminorm"@en . . .