binary-relation

public under mathematical-relation 138

List Picture As a command

• antisymmetric-relation 7
• function 108
• reflexive-relation 9
• symmetric-relation 1
• transitive-relation 11
• covering-relation
• formal-context
• reachability

All 126 below binary-relation →