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!!
대문자로 시작하는![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
![WpSp: WpSp:](/wiki/imgs/interwiki/wpsp-16.png)
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
mkl:
terminal_object = final_object? =,terminal_object =,final_object
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
https://ncatlab.org/nlab/show/Top