In mathematics, particularly in set theory, a **reflecting cardinal** is a type of large cardinal. A cardinal number \( \kappa \) is considered a reflecting cardinal if it has the property that every property that can be expressed in the language of set theory that is true for all larger cardinals is also true for \( \kappa \) itself, provided that the property holds for some set of size greater than \( \kappa \).
New to topics? Read the docs here!