فرض کنید A و B دو مجموعه باشند، اگر حداقل یک عضو از مجموعه A در مجموعه B وجود نداشته باشد، می گوییم A زیر مجموعه B نیست و به صورت زیر بیان می شود:
A ⊈B ⇔ ∃ x ϵ A ⇒x ∉B