symmetric_relation (114B)
1 # Symmetric relation 2 3 A [binary_relation] which is symmetric, i.e., forall x y R(x, y) -> R(y, x) 4 5 Up: [relation]
