In mathematical set theory , a strongly compact cardinal is a certain kind of large cardinal number .
In large set theory , a strongly compact cardinal is a certain kind of mathematical cardinal number .