Relation contains Composite with Self iff Transitive