Another way to say "seven is a number" is "the set of real numbers includes seven"