antisymmetric-relation

public under binary-relation 126

List Picture As a command

• partial-order 5
• strict-order

All 7 below antisymmetric-relation →