하한,infimum

하한 infimum = 최대 하계 greatest lower bound = 최대 하계,lower_bound

집합,set의 최대하계.


하계,lower_bound(의 원소?) 중 가장 큰 것? 최대,maximum? 최대값,maximum_value? chk

// tbw 하계,lower_bound와 구체적 비교서술
{
[edit]

하계(lower bound)와 하한(infimum)의 비교

하계: 여러 개 있을 수 있음. 저건 개수가 아닌 존재 여부(존재성,existence)가 관심 대상.
하한: 하나밖에 없음. (유일성,uniqueness) 하한은 하계 중 가장 큰 것이므로. (하한 = 최대하계)
} CHK

반대, 비교: 상한,supremum

MKL
meet
WtEn:meet#Noun (algebra)