Kahekohalised predikaadid ja hulkade moodustamine
Karmo
Talts
Sõnastame järgmised hulkade moodustamise põhimõtteid: „iga
kahekohalise predikaadi P ja mistahes elemendi x puhul saab
moodustada hulga nendest x-idest, mis on predikaadis P(x,y) esimesel
kohal” ja „iga kahekohalise predikaadi P ja mistahes elemendi y
puhul saab moodustada hulga nendest y-itest, mis on predikaadis
P(x,y) teisel kohal” ja „iga kahekohalise predikaadi P ja
mistahes järjestatud elementide paari (x,y) puhul saab moodustada
hulga nendest (x,y)-iteest, mille esimesel liikmel on predikaadi P
väljendatud suhe paari teise liikmega..
Vaatame nüüd enesesse kuuluvaid hulkasid. Kui hulk x kuulub
endasse, siis x kuulub hulkade, mis kuuluvad x-i, hulka ja hulkade,
mille elemendiks on x, hulka ja järjestatud paar (x,x) kuulub nende
järjestatud paaride, mille esimesel liikmel on suhe Kuulub paari
teise liikmega. hulka.
Vaatame nüüd enesesse mitte kuuluvaid hulkasid. Kui hulk x ei
kuulu endasse, siis x kuulub hulkade, mis ei kuulu x-i, hulka ja
hulkade, mille elemendiks pole x, hulka ja ja järjestatud paar (x,x)
kuulub nende järjestatud paaride, mille esimesel liikmel on suhe Ei
kuulu paari teise liikmega, hulka.