If every aRb and bRc implies aRc, then the relation is transitive.

• A. True
• B. False