∄ & число & там не існує &∄x такий, щоx2<0⊆ & є підмножиною &{0,1}⊆{0,1,2}∪& об'єднання множин &\(\lbrace ...∄ & число & там не існує &∄x такий, щоx2<0⊆ & є підмножиною &{0,1}⊆{0,1,2}∪& об'єднання множин &{0,1}∪{2,3}={0,1,2,3}∩ & перетин множин & &{0,1}∩{1,2}={1}∅ & порожній набір &{0,1}∩{2,3}=∅