isDoublyTransitive

Indicates that a relation is transitive both in its original form and under a second, related composition or transformation, so that indirect connections through two different transitive paths still imply a direct connection.