5
$\begingroup$

I'm interested in properties of relations. Things like completeness (connected, total), transitivity, euclideanness, symmetry and so on. I am interested in the logical connections between these relations. For example, symmetry implies not asymmetry. Or a reflexive, weakly connected relation is complete.

Is there a neat summary of these sorts of properties and their connections?

  • 0
    http://en.wikipedia.org/wiki/Relation_algebra, also http://en.wikipedia.org/wiki/Logical_matrix2014-12-09

2 Answers 2