the empty topology