보통 A=B 임을 보이고 싶으면

A⊂B 랑 B⊂A 임을 보이는 경우가 많더라고


저 두 가지 케이스는 보통 증명 방식이 다르던데


①하나(A⊂B)는 보통 기본적인 집합관계(IntA⊂A 같은 당연한거) 에서

Theorem들을 적용시켜 만지작거리면서 도출되고


②반대 방향 케이스(B⊂A)는 Let p∈B 에서 시작해서

정의를 이용해서(there exist... such as 이런거 많이들어감) p∈A 임을 보이는 형태가 많더라고


근데 어디에 ①을 쓰고 어디에 ②를 써야 되는지 어떻게 바로 파악함?

바로 안 보이는 경우가 더 많더라

잘못 찍어서 풀기 시작하면 아무 소득이 없음.. 너무 스트레스 받는다


그거 외에도 이거 관련 해석학 팁 좀 있으면 알려주라

해잘알 형님들 도와주세요..