Deux ensembles P et Q sont égaux s’ils ont les mêmes éléments. Pour montrer que E = F, il est équivalent de montrer les deux inclusions : E ⊂ F et F ⊂ E.