整列可能定理
【せいれつかのうていり】
【seiretsukanouteiri】
良序原则