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?