transitive-closure public under mathematical-operation 42, transitive-relation 11 List Picture As a command %3 n0 transitive-closure n1 mathematical-operation n1->n0 n2 transitive-relation n2->n0