In set theory, a supercompact cardinal is a type of large cardinal independently introduced by Solovay and Reinhardt.[1] They display a variety of reflection properties.
^A. Kanamori, "Kunen and set theory", pp.2450--2451. Topology and its Applications, vol. 158 (2011).