Hufvudvilkoren för ett välordnadt