Search
❯
Last modified: Jan 30, 20251 min read
a chain-complete poset with a least element
this least element is typically denoted ⊥.