Mostrar código-fonte de Mínimo

{{Sem-fontes|data=outubro de 2015}}

Em [[teoria dos conjuntos]], o '''mínimo''' de um [[conjunto ordenado]] é o menor dos seus [[Elemento (matemática)|elementos]] relativamente a essa ordem.

Um conjunto pode não ter nenhum elemento mínimo, mas se este existir, é único.

==Mínimo de um conjunto de <math>\N</math>==
O [[Princípio da boa-ordenação]] afirma que qualquer subconjunto dos [[números naturais]], <math>\N</math>, possui um elemento mínimo.

==Exemplos==
*O mínimo dos intervalos [a,b] e [a,b) é a.
*Os intervalos (a,b] e (a,b) não têm mínimos.
*O mínimo de <math>\N</math> é 1 (ou 0, se considerarmos que <math>0\in\N</math>)
*<math>\Z</math>, <math>\mathbb{Q}</math>, <math>\R</math> não têm mínimo.

== Ver também ==
*[[Elemento minimal]]

{{Categorização AD e AB de outras wikis}}

[[Categoria:Teoria da ordem]]