44
Odrediti skup ako važi:
Presek dva skupa i je skup koji sadrži sve elemente koji pripadaju i skupu i skupu
Iz definicije preseka sledi da presek mora biti podskup svakog od polaznih skupova.
Primenom ovog pravila na naš zadatak, mora da važi da je presek podskup prvog skupa:
Kako je po uslovu zadatka presek jednak zamenom dobijamo:
Ovo tvrđenje je netačno jer element pripada skupu sa leve strane, ali ne pripada skupu sa desne strane.
Pošto smo došli do kontradikcije, zaključujemo da ne postoji skup koji zadovoljava postavljeni uslov.