e/Strong cardinal

Information
has gloss	eng: In set theory, a strong cardinal is a type of large cardinal. It is a weakening of the notion of a supercompact cardinal.
lexicalization	eng: strong cardinal
instance of	e/Large cardinal