Aksjomat sumy: Różnice pomiędzy wersjami

== Wersja ogólna ==

Dla dowolnego zbioru <math>u</math> istnieje taki zbiór <math>y</math>, że – dla dowolnego zbioru <math>x</math> – <math>x</math> jest elementem <math>y</math> wtedy i tylko wtedy, gdy istnieje zbiór <math>z</math> będący elementem <math>u</math> i którego elementem jest <math>x</math>. Formalnie{{odn|Nowak|2016|s=92}}:

 

Wykazać można istnienie dokładnie jednego takiego zbioru, który nazywamy wtedy sumą zbioru <math>u</math> i oznaczany jest <math>\bigcup \mathcal{u}</math>{{odn|Nowak|2016|s=92}}.