ابرمجموعه سره

ابرمجموعه سره

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

ابرمجموعه سره نیز عکس زیرمجموعه سره می‌باشد. به بیان ساده تر اگز B  ابرمجموعه A باشد و حداقل یک عضوی داشته باشد که در A نباشد، در این صورت B ابرمجموعه سره A می باشد. همچنین می توان این گونه گفت که اگر B ابرمجموعه A باشد اما با A مساوی نباشد، B را ابرمجموعه سره A می نامیم.

نکته: برای این که نشان دهیم B ابرمجموعه سره A است دو کار باید انجام دهیم. اول این که نشان دهیم B ابرمجموعه A است و دوم آن که نشان دهیم B مخالف A است.