seçme beliti 

(Alm. Auswahlaxiom, n; Fr. axiome de choix, m; İng. axiom of choice) 

mat. Boş olmayan kümelerden oluşan ve boş olmayan bir kümeler takımının Kartezyen çarpımının da boş olmayacağını ileri süren belit; başka bir deyişle boş olmayan bir Aj küme ailesi ele alındığında, indis kümesinden bu kümelerin bileşimine giden ve her j için f(j) ? Aj olacak şekilde bir f fonksiyonunun var olduğunu söyleyen belit; eşanlam: seçme aksiyomu.

Boş olmayan kümelerden oluşan bir boş olmayan kümeler takımının Dekart çarpımının da boş olmayacağını varlayan belit.