Define boundary, exterior. define separable spaces