Na matemática, uma relação bem-ordenada (ou boa-ordenação) em um conjunto S é uma ordenação total em S com a propriedade de que todo subconjunto não-vazio de S possui um elemento mínimo na ordenação. O conjunto S juntamente com a relação bem-ordenada é chamado de conjunto bem-ordenado.