Әрине, егер санын жиынынның жоғарғы шекарасы болса, онда одан үлкен саны да жоғарғы шекара болады. Кванторлар арқылы жиынының жпғарыдан шектелгені былай жазылады:
(5)
Енді қарама-қарсы тұжырым құру ережесін қарастырсақ, онда қарама-қарсы тұжырым, яғни жоғарыдан шенелмеген, не шенелмеген жиын деген
санын 
жиынынның жоғарғы шекарасы болса, онда одан үлкен 
саны да жоғарғы шекара болады. Кванторлар арқылы 
(5)
(6)