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

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

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

منابع

• Steen, Lynn Arthur; Seebach, J. Arthur Jr. (1995) [1978], Counterexamples in Topology (Dover reprint of 1978 ed.), Berlin, New York: Springer-Verlag, ISBN 978-0-486-68735-3, MR 0507446 (See example 18)

• مشارکت‌کنندگان ویکی‌پدیا. «Cofiniteness». در دانشنامهٔ ویکی‌پدیای انگلیسی، بازبینی‌شده در ۲۹ مهٔ ۲۰۲۱.