집합족: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
잔글편집 요약 없음
잔글편집 요약 없음
5번째 줄:
== 예 ==
* 집합 <math>S</math>의 [[멱집합]] <math>\mathcal{P}(S)</math>는 <math>S</math>의 한 부분집합족이다. <math>S</math>의 부분집합족은 (중복 집합이 아니면) 모두 <math>\mathcal{P}(S)</math>의 부분집합이다.
* <math>S</math>의 <math>k</math> 원소 부분집합 <math>S^{(k)}</math>는 <math>S</math>의 부분집합이다부분집합족을 이룬다.
* <math>S=\{1,2,3,4,5\}</math>라 할 때,하고 <math>F=\{A_1,A_2,A_3,A_4\}A_n</math>(''A''<submath>nS</submath>은 ''S''의 원소 중 ''<math>n''</math>의 배수를 골라낸 집합)집합이라고 할 때, <math>F=\{A_1,A_2,A_3,A_4\}</math>는 <math>S</math>의 부분집합족이다. 여기서 1, 2, 3, 4를 [[첨수]]라고 하고, <math>F</math>를 [[첨수된 집합족]]이라고 한다. 또한, <math>F'B_1=\{B_11,B_22,B_33\}</math>({{nowrap|''B''<sub>1</sub>이고 <nowikimath>B_2=</nowiki> B_3=\{14, 2, 35\}}}, {{nowrap|''B''<sub>2</submath>일 때 <nowikimath>=</nowiki> F''B''<sub>3</sub> <nowiki>=\{B_1,B_2,B_3\}</nowikimath> {4, 5}}})도 집합족이다.
* 모든 [[순서수]]의 모임 <math>\operatorname{Ord}</math>은 매우 큰 집합족이다. 이는 집합이 아닌 고유 모임을 이룬다.
* 모든 집합의 모임인 [[전체 모임]] <math>V</math>는 하나의 집합족이다. 모든 중복 없는 집합족은 <math>V</math>의 [[부분 모임]]이다.