El libro de teoría de conjuntos de Jech dice "si $C$ es una clase no vacía de ordinales, entonces $\bigcap C = \inf C$ ". ¿Por qué no dice simplemente "menor elemento" en lugar de "infimum"?
Respuesta
¿Demasiados anuncios?
ManuelSchneid3r
Puntos
116
En efecto, podría decirse que es el "menor elemento". Sospecho que Jech está usando "inf" ya que es más versátil - $\inf$ está de acuerdo con $\min$ donde se define esta última, pero se define para una clase más amplia de órdenes lineales. (Por supuesto, también se podría argumentar lo contrario: que " $\min$ " para enfatizar el hecho de que los ordinales están bien ordenados).
