defined topology