partial-order

public under antisymmetric-relation 7, preorder 8

List Picture As a command

• total-order 3
• interval-order

All 5 below partial-order →