logical-relation

Narrow by binary-relation 13 transitive-relation 11 reflexive-relation 9 preorder 8 antisymmetric-relation 7 partial-order 5 weak-order 4 total-order 3 event 2 act 1 activity 1 data-processing 1 function 1 implication 1 mathematical-operation 1 procedure 1 process 1 symmetric-relation 1