Mathématiques, informatique, politique et poésie
Un bon ordre est une relation d'ordre tel que toute partie (non vide) ait un plus petit élément. On dit qu'un ensemble est bien ordonné si il possède un bon ordre.
