Bütün bileşenleri aynı bir yalın somut nesneye ait olan bir trop bileşimi trop demeti olarak adlandırılır.

r + t1 + u1, r + t2 + u2 ve r * + t1 + u2 bileşimlerinin tamamına trop demeti denir.

Yalın Somut Nesnelerin Girişmezliği İlkesi trop demeti diye adlandırılır.

r, t1 ve u2 troplarının toplamı olan r + t1 + u2 bileşimi trop demeti diye adlandırılır.

Aynı zamanda aynı yerde aynı nesne türüne ait iki yalın somut nesne trop demeti olarak adlandırılır.