Filters_in_topology