 Strongly compact cardinal

A strongly compact cardinal is a certain kind of large cardinal in set theory, which is a branch of mathematical logic. Large cardinals are certain kinds of infinite cardinal numbers that have strong properties and are much larger than the standard infinite cardinals (like countable and uncountable cardinals).