Setiap anggota grup A adalah anggota grup B. Setiap anggota grup B adalah anggota grup C.
- ATak mungkin ada anggota grup A yang bukan anggota grup C.
- BMungkin ada anggota grup A yang bukan anggota grup C.
- CTak mungkin ada anggota grup C yang merupakan anggota grup A.
- DTak mungkin ada anggota grup C yang rnerupakan anggota grup B.
- EMungkin ada anggota grup C yang bukan anggota grup A.
Pembahasan
A --> B dan B --> C, maka A --> C. Dengan kata Iain, setiap anggota A pasti anggota C.