Woodin cardinal

A cardinal number κ is called Woodin iff for all f : κ → κ there exists α < κ with f[α] ⊆ α and an elementary embedding j : V → M from V into a transitive inner model M with critical point α and V_j(f)(α) ⊆ M.