reflexive-relation

public under binary-relation 126, logical-relation 17

List Picture As a command

• preorder 8

All 9 below reflexive-relation →