transitive-relation

public under binary-relation 126, logical-relation 17

List Picture As a command

• preorder 8
• strict-order
• transitive-closure

All 11 below transitive-relation →