topologically

not defined yet