સમૂહો ફક્ત શરત હેઠળ જ અસ્તિત્વમાં હોઈ શકે છે કે જે તેમને વ્યાખ્યાયિત કરે છે તે શરતો પ્રકારનું ઉલ્લંઘન નથી.