فرض کنید$( A,\preceq )$ یک مجموعه ی جزئا مرتب است به قسمی که هر زیر مجموعه ی غیر تهی B شامل یک کران پایین است(یعنی، b عضو B وجود دارد به طوری که برای هر x عضو B ، داریم
$b \preceq x $)
. ثابت کنید که هر زیرمجموعه جزئا مرتب$( A, \preceq ) $کلا مرتب و در نتیجه خوش ترتیب است.