Difference between r1.3 and the current
@@ -8,6 +8,8 @@
Opp. [[보텀,bottom]]
KmsE:top
NdEn:top
Opp. 보텀,bottom
소문자로 시작하는
https://ncatlab.org/nlab/show/top
https://ncatlab.org/nlab/show/Top
https://ncatlab.org/nlab/show/top
부분순서집합,partially_ordered_set,poset에서, greatest_element =,greatest_element . greatest_element { 
greatest_element 
Greatest_element ? 
Greatest_element ? }이다.
mkl:
terminal_object = final_object? =,terminal_object =,final_objectterminal_object final_object CHK!!
대문자로 시작하는greatest_element Greatest_element ? Greatest_element ? }이다.mkl:
terminal_object = final_object? =,terminal_object =,final_object
terminal_object final_object CHK!!https://ncatlab.org/nlab/show/Top