補有限

ウィキペディア

補有限

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/07/09 02:19 UTC 版)

数学において、集合 X の部分集合 A が補有限（ほゆうげん、英: cofinite; 余有限）であるとは、A の X における補集合が有限集合であることをいう。すなわち、補有限集合 A は「 X の有限個の例外を除く全ての元を含む」ような X の部分集合である。補集合が有限でなく可算である場合、その集合は補可算（あるいは余可算）であるという。