良序集選擇公理(the axiom of choice for well- ordered sets)簡稱AC},是選擇公理的一種減弱形式。 該公理斷言:在每個良序集(但其元素不一定被良序)上存在選擇函式.延森(Jensen,R.)於1967 年證明了良序集選擇公理AC},o蘊涵田相依選擇公理DC},,但反向蘊涵不成立.