Ett förflag till ett fullständigtordnande