दर्शाइए की निम्नलिखित चार प्रतिबन्ध तुल्य (equivalent) है।
`A sub B " " (ii) A-B= phi (iii) AuuB=B " " AnnB=A`

Explanation

(i) `A sub B hArr A` के सभी अवयव B में है।
`hArr A-B phi`
यथार्थ `(i) hArr (ii)`
(iii) `A-B = phi hArr A` के सभी अवयव B में है।
`hArr AuuB=B`
यथार्थ `(ii) hArr (iii)`
(iii) `AuuB=BhArr` समुच्चय A के सभी अवयव B में है।
`hArr` समुच्चय A तथा B में A के अवयव उभयनिष्ठ है।
`hArr nnB=A`
इसलिए `(iii) hArr (iv)`