jaj•a•person's notes
Search
Search
Dark mode
Light mode
Explorer
Tag: m/def/order
7 items with this tag.
Category of posets
category
public
m/def/order
state/develop
lang/en
sembr
Complete lattice
public
m/def/order
state/develop
lang/en
sembr
Dedekind-MacNeille completion
public
m/def/order
state/stub
lang/en
sembr
Lattice order
public
m/def/order
state/develop
lang/en
sembr
Poset
public
m/def/order
state/tidy
lang/en
sembr
Preorder
public
m/def/order
state/tidy
lang/en
sembr
Totally ordered set
public
m/def/order
state/tidy
lang/en
sembr