First order topology