topological
not defined yet