이 경우는 집합의 원소의 개수를 함수로 생각할 때, 그 함수가 농형사상이 된다는 것을 설명하는 것입니다. 다시 정리하면, 서로소인 두 QA, Bel 대하여 원소의 개수를 구하는 WHE

합집할에 대하여 그 구조자 보존된다는 젖너나:

XE 공집합이 아닌 집합이고, ㅁ(표)는 XA 모든 부분집합 전 체의 집합일 때, 사상 /:(ㅁ2(※), UJ (P(X), )를 모든 CEP(X) ao] 대하여, f(C)=ANCS Aste] 교집합이라 정의 하면, 모든 8, 062(※)에 대하여 f(BUC)=AN (BUC) =(&08)4(&006)=-/(8)40/(0:)이므로, 사상 /는 ESS 사상이 되는 것입니다.

XE 공집합이 아닌 집합이고, 8()는 XI 모든 부분집합 전 체의 집합일 때, 사상 (P(X), NO) (P(X), (7 )을 모든 CEP(X)F 대하여 /(0)=ㅅㄴ<를 와의 합집합이라 정의 하면, 모든 8, CEP(X)ol 대하여 (BNC) =AU (BNC) -(&408)0(&400)=/(08)07/(ㅇ)이므로, 사상 FE BES

갈루아가 들려주는 군 이야기