Closed extension topology