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