6.2.4 Binary relations

Problem: Show that \( R \circ R \subseteq R \) for any transitive binary relation \( R \). Can this inclusion be strict?