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

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

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