هم‌متناهی بودن

در ریاضیات، زیرمجموعه هم‌متناهی ، از یک مجموعه چون ، زیرمجموعه‌ای چون  است که متمم آن در  مجموعه‌ای متناهی باشد. به بیان دیگر،  شامل تمام اعضای  است به جز تعداد متناهی از آن‌ها. اگر متمم مجموعه مورد نظر متناهی نبوده بلکه شمارا باشد، به آن هم‌شمارا گفته می‌شود.

هنگام تعمیم ساختارهای روی مجموعه‌های متناهی به مجموعه‌های نامتناهی، این مفاهیم به‌طور طبیعی ظهور پیدا می‌کنند، به‌خصوص در مورد ضرب‌های نامتناهی، همچون توپولوژی حاصل‌ضربی یا جمع مستقیم.

منابع 

  (See example 18)

 

توپولوژی عمومی
مفاهیم پایه در نظریه مجموعه‌های نامتناهی