preorder

public under reflexive-relation 9, transitive-relation 11

List Picture As a command

• partial-order 5
• weak-order 4
• equivalence-relation

All 8 below preorder →