Estructuras de álgebra multilineal. Joaquín Olivert Pellicer

Чтение книги онлайн.

      Al ser A inductivo, podemos tomar un elemento maximal h de A que seguirá siendo una función de elección sobre subconjuntos de X. Puede suceder que def h — p(X), o que exista un elemento no vacío (subconjunto de X) u ‘P(X) ~ def h. Si ocurre el primer caso, se tiene ya el Axioma de Zermelo. En caso contrario, tomemos un elemento v u; y definamos la función h {(u, v)} que es una función de elección sobre def h {u}. En consecuencia, h no sería element maximal.