nLab meta
induced topology