ابرمجموعه
نمودار ون ابرمجموعه
ابرمجموعه
تعریف: اگرA زیرمجموعه B باشد، در این صورت B را ابرمجموعه A می نامیم.
معمولاً در ریاضیات، هر عملی دارای یک عمل معکوس نیز میباشد. مثلا عمل ضرب، معکوس عمل تقسیم است. از این نمونه ها در ریاضیات به فراوانی یافت میشود. در نظریه مجموعهها، زیرمجموعه و ابرمجموعه نیز عکس هم میباشند. در زندگی روزمره نیز چنین تعبیرهایی داریم، مثلا اگر پدرام پسر علی باشد، علی پدر پدرام می باشد. پس تعریف ابرمجموعه در ریاضیات نه تنها دور از انتظارها نیست بلکه طبیعی است و در موارد بسیاری به کار برده میشود.
وقتی میگوییم B ابرمجموعهی A است یعنی B همهی عضوهای A را در خود دارد. مثلا مجموعه اعداد صحیح ابرمجموعه اعداد حسابی و اعداد طبیعی است.