選択公理 (Axiom of choice) とは、どれも空でないような集合を要素とする集合に対して、それぞれの集合から一つずつ要素を選び出して新しい集合を作ることができるという公理である[1]。
選択公理と同値な様々な命題がある[2]。