SORU: Genişletilmiş biraradalık ilişkisi yardımıyla trop demeti nasıl tanımlanır?
CEVAP: Genişletilmiş Biraradalık ilişkisi, söz konusu kuramın temel ontolojik ilişkisi sayılır. Bu ilişki yardımıyla trop demeti şöyle tanımlanır: ? Tanım 1: Bir trop bileşimi trop demetidir ancak ve ancak bu trop bileşiminin ayrık olan, yani ortak tropu olmayan, herhangi iki bileşeni arasında Biraradalık ilişkisi bulunur ise.