PSYKENS TOPOLOGI - Niels Engelsted

Studiebrev 22. Jens Mammen, 17.11.97
Axiom 2: Fællesmængden af to sansekategorier er en sansekategori. (DMS: Ax.
S 3)
Axiom 3: Foreningsmængden af en vilkårlig mængde sansekategorier er en sansekategori.
(DMS: Ax. S 7)
Axiom 4: For hver to genstande i U findes der to adskilte (disjunkte) sansekategorier,
så at genstandene falder i hver sin af sansekategorierne. (DMS:
Ax. S 5)
Axiom 5: Ingen sansekategori indeholder netop én genstand. (DMS: Ax. S 11’’)
Axiom 6: Ingen ikke-tom udvalgskategori er en sansekategori. (DMS: Ax. SU
14’’)
Axiom 7: Der eksisterer en ikke-tom udvalgskategori i U. (DMS: Ax. U 12)
Axiom 8: Enhver ikke-tom udvalgskategori indeholder en endelig ikke-tom udvalgskategori.
(DMS: Ax. U 13)
Axiom 9: Fællesmængden af to udvalgskategorier er en udvalgskategori. (DMS:
Ax. U 3)
Axiom 10: Foreningsmængden af to udvalgskategorier er en udvalgskategori.
(DMS: Ax. U 4)
Axiom 11: Fællesmængden af en udvalgskategori og en sansekategori er en udvalgskategori.
(DMS: Ax. SU 3)
259