For example, \(\kappa\) is called strong if for every ordinal \(\alpha\) there exists an elementary embedding \(j:V\to M\), for some \(M\) transitive, such that \(\kappa =crit(j)\) and \(V_\alpha \subseteq M\).