Kollektsioonide liigid ja hulkade moodustamine

Kollektsioonide liigid ja hulkade moodustamine

Karmo Talts 

 

Sõnastame järgmise kollektsioonide käsitluse: kollektsioonid jagunevad liikidesse. Element saab kollektsiooni liigist x kuuluda ainult siis, kui element pole kollektsioon liigist x.

Sõnastame nüüd kollektsioonide moodustamise põhimõtte. Iga predikaadi P puhul saab moodustada nendest elementidest, millel on predikaat P ja mis pole kollektsioonid liigist x, kollektsiooni liigist x. 

Vaatame nüüd kollektsioone, mis ei kuulu endasse. Kõigist kollektsioonidest, mis ei ole hulgad ja mis ei kuulu endasse, saab moodustada hulga. Kui y on kollektsioonide liik ja hulgad pole kollektsioonid liigist y, siis saab moodustada kollektsiooni nendest kollektsioonidest, mis ei ole kollektsioonid liigist y, kaasa arvatud hulkadest, ja mis ei kuulu endasse.