In set theory, a strong cardinal is a type of large cardinal. It is a weakening of the notion of a supercompact cardinal.