güçkümesi ilksavı

güçkümesi ilksavı İng. power set axiom

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

güçkümesi ilksavı ile benzer kelimeler

İng. power set

Bir kümenin altkümelerinin kümesi. ||K Kümesinin gK biçiminde gösterilir. ()

İng. union axiom, sum axiom

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

İng. axiom of regularity

Her boş olmayan öbeğin, kendisiyle kesişimi boş olan bir öğesi 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.

'g', 'ü', 'ç', 'k', 'ü', 'm', 'e', 's', 'i', ' ', 'i', 'l', 'k', 's', 'a', 'v', 'ı', şeklindedir.
güçkümesi ilksavı kelimesinin tersten yazılışı ' ıvaskli isemükçüg' diziliminde gösterilir.