Topologies defined by local properties