En matemáticas, un cardenal alto es un gran cardenal κ que es θ -alto para todos los ordinales θ , donde un cardenal se llama θ -alto si hay una incrustación elemental j : V → M con punto crítico κ tal que j ( κ ) > θ y M κ ⊆ M.