Help


from Wikipedia
«  
Formally, a cardinal κ is defined to be weakly compact if it is uncountable and for every function f: < sup > 2 </ sup > →

1.814 seconds.