Elemento mayor y menor

En matemáticas, y particularmente en teoría del orden, el elemento mayor de un subconjunto S de un conjunto parcialmente ordenado es un elemento de S que es mayor o igual que cualquier otro elemento de S. El elemento menor de S se define dualmente y corresponde a un elemento de S que es menor o igual que cualquier otro elemento de S.

Formalmente, dado un poset (P,≤) y un subconjunto SP, entonces:

Si tanto el elemento mayor como el menor existen, entonces estos son únicos.

Todo elemento mayor es un elemento maximal, y todo elemento menor es un elemento minimal.

Véase también

Referencias

This article is issued from Wikipedia - version of the Friday, April 17, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.