Open WIKI
Home
Sources
About
Contacts
⯈
☰
Maximal element
maximal element
is a
extremity
.