Direct limit topology