Asal altküme diye bir kavram getiriyorum.
P(X)∖{X}'in bütün elemanlarını, bu yeni tanımladığım "asal" kümeden elemanların kesişimi şeklinde yazabiliyorum ve bu küme bu özelliği sağlayan en küçük küme.
Örnekler:
X={1,2,3}
P(X)={{},{1},{2},{3},{1,2},{1,3},{2,3},{1,2,3}}
Asal(P(X))={{1,2},{1,3},{2,3}}
Sonlu kümeler için Asal kümesinin boyu her zaman |X| olacak.
P(N) ve P(R) için ne diyebiliriz?
Bu kümeler var mı? Varsa kardinaliteleri hakkında ne diyebiliriz?