위상수학에서, 한 집합 A의 외부는 A와 만나지 않는 모든 열린 집합의 합집합이다. 한 집합의 외부는 그 집합과 만나지 않는 가장 큰 열린 집합이다. 두 집합이 만나지 않는다는 것은 두 집합이 겹치는 부분이 없다는 뜻이다. 즉 두 집합의 교집합이 공집합이라는 뜻이다.
상세한 내용은 내부, 외부, 경계 (위상수학) 참조.
분류: 위상수학