તેમ છતાં, ફર્ગ દ્વારા સમૂહો, એક્સ્ટેન્શન્સ અથવા વિભાવનાઓને તે જ લોજિકલ પ્રકારથી સંબંધિત તરીકે અન્ય બધી વસ્તુઓ તરીકે ઓળખવામાં આવતી હતી.