Bona ordo: Malsamoj inter versioj

En [[matematiko]], '''bona ordo''' sur [[aro]] ''S'' estas [[parte orda aro|ordo-rilato]] sur ''S'' kun la propraĵo ke ĉiu ne-malplena [[subaro]] de ''S'' havas plej malgrandan eronelementon enlaŭ ĉi tiu ordigoordo. La aro ''S'' kaj ankaŭ la bona ordo estas tiam kune nomataj kiel '''bonorda aro'''. Bona ordo estas bezone [[tuteca ordo]].

Malglate parolantaparolante, bonorda aro estas ordita en tia maniero kejke erojelementoj povas esti konsiderataj unuope, en ordo, kaj ĉiumomente ne necesas ekzameni ĉiujn erojnelementojn, tie ĉiam estas unika ''venonta'' eroelemento por konsideri. En bonorda araaro malfiniasenfina malkreskanta vico ne povas ekzisti.