Finaltopologie

... is German for => inductively generated topology