„Hatványhalmaz” változatai közötti eltérés

a
a (Bot: következő hozzáadása: eu:Potentzia-multzo)
 
===Bourbaki-halmazelmélet===
 
A [[Bourbaki-csoport|francia matematikuscsoport]] által kidolgozott formális-axiomatikus halmazelméletben minden ''A'' formula (itt szintén formalizálható tulajdonságra kell gondolnunk) és ''x'' változó esetén <math>\mathcal{C}oll_x(A)</math> jelöli az <math>(\exists y)((x\in y)\Leftrightarrow A(x))</math> formulát, melynek jelentése: "az A(x) tulajdonságból halmaz képezhető (éspedig az {x|A(x)} halmaz)". Ha <math>\mathcal{C}oll_x(A)</math> tétel, akkor azt mondjuk, hogy ''az A formula kollektivizáló az x változóban.'' A '''hatványhalmaz axióma''' ekkor a következő formula:
 
<math>(\forall x)(\mathcal{C}oll_y(y\subseteq x))</math>