binary-relation public under mathematical-relation 138 List Picture As a command %3 n0 binary-relation n2 antisymmetric-relation n0->n2 n3 function n0->n3 n4 reflexive-relation n0->n4 n5 symmetric-relation n0->n5 n6 transitive-relation n0->n6 n7 covering-relation n0->n7 n8 formal-context n0->n8 n9 reachability n0->n9 n1 mathematical-relation n1->n0