હકીકત તે ઉચ્ચ સેટ હોવી જોઈએ છે.