•  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
+
편집 토론 역사 역링크 설정

그로텐디크 전체

최근 수정 시각 : 2023-04-23 11:20:46 | 조회수 : 219
Grothendieck Universe

다음 성질을 만족하는 집합 U를 말한다.

1. U는 추이적이다. 즉, x\\in y, y\\in U이면 x\\in U이다.
2. x,y\\in U이면 \\{x,y\\}\\in U이다.
3. x\\in U이면 \\mathcal{P}(x)\\in U이다. 이 때 \\mathcal{P}(x)는 x의 멱집합이다.
4. S\\in U이면 \\bigcup S\\in U이다.