Podsestava Cofini

V matematiky , je cofinished podmnožina X ze souboru Y je podmnožina Y, jehož doplňkem je konečný .

Máme následující vlastnosti:

X je konečné právě tehdy, když Y je;
Pokud je X nekonečné, má stejnou mohutnost jako Y, tj. X a Y lze bijekovat (za předpokladu axiomu volby ).

Podívejte se také