زیرمجموعه سره

زير مجموعه‌ي سره:

تعریف: اگر و ، در اين صورت A را «زيرمجموعه‌ي سره»ي B مي ناميم و با نماد « » نمايش مي دهيم.

A زيرمجموعه‌‍ی سره‌ي B است به اين مفهوم است كه علاوه بر تمام اعضاي A ، حداقل يك عضو ديگر در B وجود دارد كه اين عضو در A نيست (به بیان عامیانه، عضوهای B واقعاً از عضوهای A بیشترند). مثلا ً اگر و در اين صورت A زير مجموعه‌ي سره‌ي B است زيرا B علاوه بر 1و2، عضو 3 را نيز دارد.

به زبان سورهای ریاضی، زیرمجموعه سره به صورت زیر تعریف می‌شود: