birleşim ilksavı

birleşim ilksavı İng. union axiom, sum axiom

Bir kümeler kümesinin öğelerinin birleşiminin de bir küme olduğunu dile getiren İlksav.

birleşim ilksavı ile benzer kelimeler

İng. axiom of regularity

Her boş olmayan öbeğin, kendisiyle kesişimi boş olan bir öğesi olduğunu dile getiren ilksav.

İng. power set axiom

Bir kümenin altkümeler öbeğinin küme olduğunu dile getiren ilksav.

İng. axiom of extensionality

Öğeleri aynı olan kümelerin eşit olduğunu dile getiren ilksav.

İng. axiom of choice

Herhangi bir kümeler kümesine karşılık, bu kümelerden birer öğe seçmekle oluşturulan kümenin varolduğunu dile getiren ilksav.

İng. axiom of infinity

Boş kümeyi kapsadığı gibi, her öğesinin ardılını da kapsayan bir kümenin varolduğunu dile getiren ilksav.

İng. axiom of replacement

Önalanı küme olan bir izergenin artalanının da küme olduğunu dile getiren ilksav.

bk. kümelerin ayrık toplamı.

Fr. Synorchidie

'b', 'i', 'r', 'l', 'e', 'ş', 'i', 'm', ' ', 'i', 'l', 'k', 's', 'a', 'v', 'ı', şeklindedir.
birleşim ilksavı kelimesinin tersten yazılışı ' ıvaskli mişelrib' diziliminde gösterilir.