En la teoría matemática de conjuntos , un modelo transitivo es un modelo de teoría de conjuntos que es estándar y transitivo . Estándar significa que la relación de pertenencia es la habitual, y transitivo significa que el modelo es un conjunto o clase transitiva .
Si M es un modelo transitivo, entonces ω M es el ω estándar. Esto implica que los números naturales, enteros y racionales del modelo también son los mismos que sus contrapartes estándar. Cada número real en un modelo transitivo es un número real estándar, aunque no es necesario incluir todos los números reales estándar en un modelo transitivo particular.