브라우저보다 빠른!
18 처지: 명제논리, 반사슬, 거듭제곱, 격자 (순서론), 불 대수, 부분 순서 집합, 부분집합, 극대 원소와 극소 원소, 전순서 집합, 직관 논리, 유리수, 상한과 하한, 순서론, 헤이팅 대수, 아이디얼, 시작 대상과 끝 대상, 환 (수학), 완비 격자.
명제논리
명제 논리(命題論理, propositional logic)는 논리식을 이용해 명제를 기술하는 형식 체계이.
새로운!!: 최대 원소와 최소 원소와 명제논리 · 더보기 »
반사슬
순서론에서, 반사슬(反사슬)은 서로 다른 두 원소가 비교될 수 없는, 원순서 집합의 부분 집합이며, 사슬()은 서로 두 원소가 항상 비교될 수 있는, 원순서 집합의 부분 집합이.
새로운!!: 최대 원소와 최소 원소와 반사슬 · 더보기 »
거듭제곱
위에서 아래로: ''x''1/8, ''x''1/4, ''x''1/2, ''x''1, ''x''2, ''x''4, ''x''8. 수학에서, 거듭제곱()은 주어진 수를 주어진 횟수만큼 곱하는 연산이.
새로운!!: 최대 원소와 최소 원소와 거듭제곱 · 더보기 »
격자 (순서론)
순서론에서, 격자(格子)는 두 원소 부분집합의 상한(이음)과 하한(만남)이 항상 존재하는 부분 순서 집합이.
새로운!!: 최대 원소와 최소 원소와 격자 (순서론) · 더보기 »
불 대수
순서론과 추상대수학, 논리학에서, 불 대수(Boole代數)는 고전 명제 논리의 명제의 격자와 같은 성질을 갖는 격자이.
새로운!!: 최대 원소와 최소 원소와 불 대수 · 더보기 »
부분 순서 집합
''y'', ''z'') 순서가 정해지지 않은 것이다. 순서론에서, 부분 순서(部分順序) 또는 반순서(半順序)는 순서·나열 등의 개념을 추상화한 이항 관계이.
새로운!!: 최대 원소와 최소 원소와 부분 순서 집합 · 더보기 »
부분집합
부분집합 관계를 표현한 벤 다이어그램. ''A''는 ''B''의 부분집합이다. 집합론에서 집합 B의 부분집합(部分集合) A는, 모든 원소가 B에도 속하는 집합이.
새로운!!: 최대 원소와 최소 원소와 부분집합 · 더보기 »
극대 원소와 극소 원소
수학, 특히 순서론에서, 극대 원소(極大元素)와 극소 원소(極小元素)는 부분 순서 집합에서 그와 비교 가능한 원소들 가운데 가장 크거나 가장 작은 원소이.
새로운!!: 최대 원소와 최소 원소와 극대 원소와 극소 원소 · 더보기 »
전순서 집합
순서론에서, 전순서 집합(全順序集合)는 임의의 두 원소를 비교할 수 있는 부분 순서 집합이.
새로운!!: 최대 원소와 최소 원소와 전순서 집합 · 더보기 »
직관 논리
리학에서, 직관 논리(直觀論理)는 귀류법을 배척하는 논리 체계이.
새로운!!: 최대 원소와 최소 원소와 직관 논리 · 더보기 »
유리수
수학에서, 유리수(有理數)는 두 정수의 비율로 나타낼 수 있는 수이.
새로운!!: 최대 원소와 최소 원소와 유리수 · 더보기 »
상한과 하한
집합 A의 모든 원소가 파란색으로 표시되어 있다. 임의의 빨간색 원소는 모든 파란색 원소보다 크거나 같고, 그 중에서 가장 작은 빨간색 값(다이아몬드)이 최소 상계가 된다. 순서론에서, 어떤 집합 T의 부분 집합 S에 대해 S의 상한(上限) 또는 최소 상계(最小上界,, LUB)는 T의 원소 중 S의 모든 원소보다 큰 최소의 원소 (최소 상계)를 말. 마찬가지로, 하한(下限) 또는 최대 하계(最大下界,, GLB)는 T의 원소 중 S의 모든 원소보다 작은 최대의 원소 (최대 하계)를 말.
새로운!!: 최대 원소와 최소 원소와 상한과 하한 · 더보기 »
순서론
right 순서론(順序論)은 이항 관계들 중에서 '순서'의 개념을 확장한 것으로 볼 수 있는 것들을 다루는 수학의 분야이.
새로운!!: 최대 원소와 최소 원소와 순서론 · 더보기 »
헤이팅 대수
순서론과 논리학에서, 헤이팅 대수()는 직관 논리의 명제들의 격자와 유사한 성질을 갖는 격자이.
새로운!!: 최대 원소와 최소 원소와 헤이팅 대수 · 더보기 »
아이디얼
환론에서, 아이디얼() 또는 이데알()은 특정한 조건을 만족시키는 환의 부분집합이.
새로운!!: 최대 원소와 최소 원소와 아이디얼 · 더보기 »
시작 대상과 끝 대상
범주론에서, 시작 대상(始作對象)과 끝 대상(-對象)은 매우 단순하여, 이 대상을 정의역 또는 공역으로 하는 사상이 하나밖에 없는 대상이.
새로운!!: 최대 원소와 최소 원소와 시작 대상과 끝 대상 · 더보기 »
환 (수학)
상대수학에서, 환(環)은 덧셈과 곱셈이 정의된 대수 구조의 하나이.
새로운!!: 최대 원소와 최소 원소와 환 (수학) · 더보기 »
완비 격자
순서론에서, 완비 격자(完備格子)는 임의의 크기의 이음 및 만남이 존재하는 격자이.
새로운!!: 최대 원소와 최소 원소와 완비 격자 · 더보기 »
