In mathematics, an iterable cardinal is a type of large cardinal introduced by Gitman (2011) and studied by Gitman and Welch (2011). Gitman defined a cardinal ? to be a-iterable if every subset of ? is contained in a weak ?-model M for which there exists an M-ultrafilter on ? allowing an iteration of length a.