اگر A و B و C و D چهار مجموعه با مرجع U باشند، به روش عضوگیری دلخواه ثابت کنید اگر $A\subseteq B$ و $C\subseteq D$، آن‌گاه $A\bigcup C\subseteq B\bigcup D$.