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_object terminal_object final_object CHK!!
대문자로 시작하는mkl:
terminal_object = final_object? =,terminal_object =,final_object terminal_object final_object CHK!!
https://ncatlab.org/nlab/show/Top