En teoría de conjuntos , un ratón es un modelo pequeño de (un fragmento de) la teoría de conjuntos de Zermelo-Fraenkel con propiedades deseables. La definición exacta depende del contexto. En la mayoría de los casos, existe una definición técnica de "prerratón" y una condición adicional de iterabilidad (que se refiere a la existencia de ultrapotencias iteradas bien fundadas ): un ratón es entonces un prerratón iterable. La noción de ratón generaliza el concepto de un nivel de la jerarquía construible de Gödel al tiempo que puede incorporar cardinales grandes .
Los ratones son componentes importantes de la construcción de modelos básicos . El concepto fue aislado por Ronald Jensen en la década de 1970 y ha sido utilizado desde entonces en la construcción de modelos básicos por muchos autores.
Un ratón existe si y solo si existe . [1] p. 661
