topology: forward & reverse expansion sets