브라우저보다 빠른!
49 처지: 덮개 (위상수학), 로비어 공간, 마틴 공리, 무모순적 이론, 반복 강제법, 반사슬, 강제법, 강하향 반사슬, 격자 (순서론), 범주 (수학), 공종 집합, 공종도, 불 대수, 부분 순서 집합, 부분수열, 균등 공간, 길이 거리 공간, 국소 볼록 공간, 나무 (집합론), 단사 대상, 닫힌 원순서 집합, 작은 범주, 포괄적 필터, 이름 (강제법), 인자 대수, 전순서 집합, 정렬 원순서 집합, 정초 관계, 중심화 부분 모노이드, 초른의 보조정리, 위상 함자, 위상의 비교, 상집합, 상향 원순서 집합, 상한과 하한, 순서위상, 올범주, 헤이팅 대수, 여과 (동음이의), 여과 (수학), 역사상, 열린집합, 약수, 필터 (수학), 셔플 순열, 시그마 대수, 완비 격자, 완비 범주, 완비 불 대수.
덮개 (위상수학)
수학에서, 덮개()는 합집합이 전체 집합인 부분 집합들의 집합족이.
새로운!!: 원순서 집합와 덮개 (위상수학) · 더보기 »
로비어 공간
학에서, 로비어 공간(Lawvere空間) 또는 일반화 거리 공간(一般化距離空間) 또는 반거리 공간(半距離空間) 또는 확장 준 유사 거리 공간(擴張準類似距離空間,, 약자 ∞qp-거리 공간)은 거리 공간 및 유사 거리 공간 및 확장 유사 거리 공간의 개념의 일반화이.
새로운!!: 원순서 집합와 로비어 공간 · 더보기 »
마틴 공리
집합론에서, 마틴 공리(Martin公理,, 약자 \mathsf)는 실수 집합의 크기보다 더 작은 집합들은 가산 집합과 유사한 성질을 갖는다는 명제.
새로운!!: 원순서 집합와 마틴 공리 · 더보기 »
무모순적 이론
수리논리학에서, 무모순적 이론(無矛盾的理論)은 거짓을 추론할 수 없는 이론이.
새로운!!: 원순서 집합와 무모순적 이론 · 더보기 »
반복 강제법
집합론에서, 반복 강제법(反復強制法)은 강제법 모형의 구성을 초한 번 반복하는 과정이.
새로운!!: 원순서 집합와 반복 강제법 · 더보기 »
반사슬
순서론에서, 반사슬(反사슬)은 서로 다른 두 원소가 비교될 수 없는, 원순서 집합의 부분 집합이며, 사슬()은 서로 두 원소가 항상 비교될 수 있는, 원순서 집합의 부분 집합이.
새로운!!: 원순서 집합와 반사슬 · 더보기 »
강제법
집합론에서, 강제법(強制法)은 특정한 조건을 만족시키는 집합론 모형을 정의하는 방법이.
새로운!!: 원순서 집합와 강제법 · 더보기 »
강하향 반사슬
순서론에서, 강하향 반사슬(強下向反사슬)은 서로 다른 두 원소가 공통된 하계를 갖지 않는, 원순서 집합의 반사슬이.
새로운!!: 원순서 집합와 강하향 반사슬 · 더보기 »
격자 (순서론)
순서론에서, 격자(格子)는 두 원소 부분집합의 상한(이음)과 하한(만남)이 항상 존재하는 부분 순서 집합이.
새로운!!: 원순서 집합와 격자 (순서론) · 더보기 »
범주 (수학)
범주론에서, 범주(範疇)는 추상적인 구조와 이를 보존하는 변환의 개념을 형식화한 것이.
새로운!!: 원순서 집합와 범주 (수학) · 더보기 »
공종 집합
순서론에서, 공종 집합(共終集合)은 그 하폐포가 전체 집합인, 원순서 집합의 부분 집합이.
새로운!!: 원순서 집합와 공종 집합 · 더보기 »
공종도
집합론에서, 공종도(共終度)는 주어진 원순서 집합의 공종 집합의 최소 크기이.
새로운!!: 원순서 집합와 공종도 · 더보기 »
불 대수
순서론과 추상대수학, 논리학에서, 불 대수(Boole代數)는 고전 명제 논리의 명제의 격자와 같은 성질을 갖는 격자이.
새로운!!: 원순서 집합와 불 대수 · 더보기 »
부분 순서 집합
''y'', ''z'') 순서가 정해지지 않은 것이다. 순서론에서, 부분 순서(部分順序) 또는 반순서(半順序)는 순서·나열 등의 개념을 추상화한 이항 관계이.
새로운!!: 원순서 집합와 부분 순서 집합 · 더보기 »
부분수열
수학에서, 수열의 부분수열(部分數列) 또는 부분열(部分列, subsequence)은 그 수열의 일부 항을 원래 순서대로 나열해 얻을 수 있는 수열이.
새로운!!: 원순서 집합와 부분수열 · 더보기 »
균등 공간
일반위상수학에서, 균등 공간(均等空間)은 두 점이 서로 "가까운지" 여부가 주어진 집합이.
새로운!!: 원순서 집합와 균등 공간 · 더보기 »
길이 거리 공간
리 공간 이론에서, 길이 거리 공간(-距離空間)은 두 점 사이의 거리가 두 점을 잇는 곡선들의 길이들의 하한으로 주어지는 거리 공간이.
새로운!!: 원순서 집합와 길이 거리 공간 · 더보기 »
국소 볼록 공간
수해석학에서, 국소 볼록 공간(局所볼록空間)은 그 위상이 일련의 반노름들에 대한 시작 위상으로 유도되는 위상 벡터 공간이.
새로운!!: 원순서 집합와 국소 볼록 공간 · 더보기 »
나무 (집합론)
순서론과 집합론에서, 나무()는 임의의 원소에 대하여 그 미만의 원소들로 구성된 부분 집합이 정렬 전순서 집합을 이루는 부분 순서 집합이.
새로운!!: 원순서 집합와 나무 (집합론) · 더보기 »
단사 대상
범주론에서, 단사 대상(單射對象)은 이 대상을 공역으로 삼는 사상의 정의역을 임의로 확장할 수 있는 대상이.
새로운!!: 원순서 집합와 단사 대상 · 더보기 »
닫힌 원순서 집합
순서론에서, 닫힌 원순서 집합(-原順序集合)이란 모든 사슬이 상계를 갖는 원순서 집합이.
새로운!!: 원순서 집합와 닫힌 원순서 집합 · 더보기 »
작은 범주
범주론에서, 작은 범주(-範疇)는 그 대상의 모임과 사상의 모임이 충분히 “작은” 범주를 말. 그 정확한 의미는 사용하는 수학 기초론에 따라 달라지는데, 예를 들어 그로텐디크 전체를 사용할 경우 대상과 사상의 집합이 사용되는 그로텐디크 전체의 원소이어야.
새로운!!: 원순서 집합와 작은 범주 · 더보기 »
포괄적 필터
순서론에서, 포괄적 필터(包括的filter)는 모든 공시작 집합과 겹치는 필터이.
새로운!!: 원순서 집합와 포괄적 필터 · 더보기 »
이름 (강제법)
집합론에서, 이름()은 강제법에 등장하는, 집합의 개념의 일종의 일반화인 누적 위계이.
새로운!!: 원순서 집합와 이름 (강제법) · 더보기 »
인자 대수
수해석학에서, 인자 대수(因子代數)는 ‘분해’되지 못하는 폰 노이만 대수이.
새로운!!: 원순서 집합와 인자 대수 · 더보기 »
전순서 집합
순서론에서, 전순서 집합(全順序集合)는 임의의 두 원소를 비교할 수 있는 부분 순서 집합이.
새로운!!: 원순서 집합와 전순서 집합 · 더보기 »
정렬 원순서 집합
순서론과 집합론에서, 정렬 원순서 집합(整列原順序集合)은 모든 부분 집합이 양의 정수 개의 극소 원소 동치류를 갖는 원순서 집합이.
새로운!!: 원순서 집합와 정렬 원순서 집합 · 더보기 »
정초 관계
집합론에서, 정초 관계(整礎關係)는 (무한히 재귀적이지 않은) 집합의 원소 관계로서 나타낼 수 있는 이항 관계이.
새로운!!: 원순서 집합와 정초 관계 · 더보기 »
중심화 부분 모노이드
상대수학에서, 중심화 부분 모노이드(中心化部分monoid)는 어떤 모노이드의 부분 집합과 가환하는 모든 원소로 구성된 부분 모노이드이.
새로운!!: 원순서 집합와 중심화 부분 모노이드 · 더보기 »
초른의 보조정리
수학에서, 초른의 보조정리(Zorn의補助定理) 또는 쿠라토프스키-초른 보조정리(Kuratowski-Zorn補助定理)는 부분 순서 집합이 극대 원소를 가질 충분조건을 제시하는 보조정리.
새로운!!: 원순서 집합와 초른의 보조정리 · 더보기 »
위상 함자
범주론과 일반위상수학에서, 위상 함자(位相函子)는 위상 공간의 범주에서 집합 범주로 가는 망각 함자와 여러 유사한 성질을 보이는 함자이.
새로운!!: 원순서 집합와 위상 함자 · 더보기 »
위상의 비교
일반위상수학과 범주론에서, 위상 함자를 통해 주어진 집합 위에 여러 위상수학적 구조를 부여할 수 있으며, 이러한 구조들은 완비 격자를 이. 이 경우 한 구조가 다른 구조에 대하여 더 섬세한 구조(纖細-構造) 또는 더 엉성한 구조(-構造).
새로운!!: 원순서 집합와 위상의 비교 · 더보기 »
상집합
를 이룬다. 순서론에서, 상집합(上集合,, upward-closed set, upset)은 S에 속하는 원소보다 더 큰 임의의 원소 역시 S에 속하는, 원순서 집합의 부분 집합 S이.
새로운!!: 원순서 집합와 상집합 · 더보기 »
상향 원순서 집합
순서론에서, 상향 원순서 집합(上向原順序集合)은 임의의 유한 부분 집합에 상계가 존재하는 원순서 집합이.
새로운!!: 원순서 집합와 상향 원순서 집합 · 더보기 »
상한과 하한
집합 A의 모든 원소가 파란색으로 표시되어 있다. 임의의 빨간색 원소는 모든 파란색 원소보다 크거나 같고, 그 중에서 가장 작은 빨간색 값(다이아몬드)이 최소 상계가 된다. 순서론에서, 어떤 집합 T의 부분 집합 S에 대해 S의 상한(上限) 또는 최소 상계(最小上界,, LUB)는 T의 원소 중 S의 모든 원소보다 큰 최소의 원소 (최소 상계)를 말. 마찬가지로, 하한(下限) 또는 최대 하계(最大下界,, GLB)는 T의 원소 중 S의 모든 원소보다 작은 최대의 원소 (최대 하계)를 말.
새로운!!: 원순서 집합와 상한과 하한 · 더보기 »
순서위상
순서론에서, 순서위상(順序位相)은 전순서 집합 위의, 열린구간으로부터 생성되는 위상이.
새로운!!: 원순서 집합와 순서위상 · 더보기 »
올범주
범주론에서, 올범주(-範疇) 또는 그로텐디크 올뭉치()는 어떤 유일 올림 성질을 만족시켜서 올뭉치와 같은 성질을 보이는 함자이.
새로운!!: 원순서 집합와 올범주 · 더보기 »
헤이팅 대수
순서론과 논리학에서, 헤이팅 대수()는 직관 논리의 명제들의 격자와 유사한 성질을 갖는 격자이.
새로운!!: 원순서 집합와 헤이팅 대수 · 더보기 »
여과 (동음이의)
여과(濾過)는 다음과 같은 뜻을 갖.
새로운!!: 원순서 집합와 여과 (동음이의) · 더보기 »
여과 (수학)
수학에서, 여과(濾過)는 전순서 집합으로 지표화된 일련의 부분 대상들로 구성된 구조이.
새로운!!: 원순서 집합와 여과 (수학) · 더보기 »
역사상
범주론에서, 왼쪽 역사상(-逆寫像)과 오른쪽 역사상(-逆寫像)은 각각 왼쪽 또는 오른쪽에서 합성하였을 때 항등 사상이 되는 사상이.
새로운!!: 원순서 집합와 역사상 · 더보기 »
열린집합
부, 즉 원의 중심으로부터 반지름 미만의 거리에 위치한 점들의 집합은 열린집합이다. 반대로, 경계를 포함하는 원판, 즉 원의 중심으로부터 반지름 이하의 거리에 위치한 점들의 집합은 닫힌집합이다. 일반위상수학에서, 열린집합(-集合) 또는 개집합(開集合)은 스스로의 경계를 전혀 포함하지 않는, 위상 공간의 부분 집합이.
새로운!!: 원순서 집합와 열린집합 · 더보기 »
약수
수론에서, 약수(約數) 또는 인수(因數)는 어떤 정수를 나머지 없이 나눌 수 있는 정수를 원래의 정수에 대하여 이르는 말이.
새로운!!: 원순서 집합와 약수 · 더보기 »
필터 (수학)
집합 \1,2,3,4\의 멱집합의 하세 도형. 녹색 원소들은 극대 필터를 구성하며, 반대로 흰색 원소들은 극대 순서 아이디얼을 구성한다. 순서론에서 필터()는 어떤 원순서 집합의 하향 상집합이며, 반대로 순서 아이디얼(順序ideal)은 어떤 원순서 집합의 상향 하집합이.
새로운!!: 원순서 집합와 필터 (수학) · 더보기 »
셔플 순열
조합론에서, 셔플 순열()은 카드의 셔플을 통하여 얻을 수 있는 순열이.
새로운!!: 원순서 집합와 셔플 순열 · 더보기 »
시그마 대수
측도론에서, 시그마 대수(σ代數)는 가산 상한과 하한을 갖는 불 대수이.
새로운!!: 원순서 집합와 시그마 대수 · 더보기 »
완비 격자
순서론에서, 완비 격자(完備格子)는 임의의 크기의 이음 및 만남이 존재하는 격자이.
새로운!!: 원순서 집합와 완비 격자 · 더보기 »
완비 범주
범주론에서, 완비 범주(完備範疇)는 집합 크기의 모든 극한들을 갖는 범주이.
새로운!!: 원순서 집합와 완비 범주 · 더보기 »
완비 불 대수
순서론에서, 완비 불 대수(完備Boole代數)는 완비 격자인 불 대수이.
새로운!!: 원순서 집합와 완비 불 대수 · 더보기 »
