Aksioma pemilihan

Dalam matematika, aksioma pemilihan, atau AC (axiom of choice), adalah sebuah aksioma dari teori himpunan yang setara dengan pernyataan bahwa hasil perkalian Cartesius dari kumpulan himpunan yang tidak kosong adalah "himpunan yang tidak kosong pula". Ini menyatakan bahwa untuk setiap keluarga berindeks  dari himpunan tidak kosong terdapat sebuah keluarga berindeks  dari unsur-unsur tersebut sedemikian sehingga  untuk setiap . Aksioma pilihan dirumuskan pada tahun 1904 oleh Ernst Zermelo dalam rangka untuk menyusun bukti teorema urutan rapi.