아니 저거 (a)=>(b)임을 보이는거에서 부터 저딴식으로 써져있던데 저런 집합을 정의도 안했거든? 한거라곤
A 가 X의 부분공간이고 B는 A의 부분집합 일 때 cl_x(B)는 위상공간 X에서의 B의 closure 인거하고
cl_A(B)는 부분공간 A에서의 B의 closure뿐임

갑자기 저따가 위상을 집어넣어도 됨?? 아님 다른 증명방법있음?


- dc official App