Tiên đề chọn là tiên đề khẳng định rằng với mỗi họ tập hợp tùy ý không rỗng và đôi một không giao nhau luôn tồn tại một tập hợp mà mỗi phần tử của nó là phần tử của một tập hợp trong họ tập hợp kia và phần tử đó là duy nhất.Tiên đề này được nhà toán học người Đức Ernst Zermelo phát biểu năm 1904 nên còn được gọi là tiên đề Xecmơlô.Nó thường được ký hiệu là AC. Lý thuyết tập hợp Zermelo-Fraekel cùng với tiên đề chọn thường được ký hiệu là ZFC.