Cocountability

In mathematics, a cocountable subset of a set X is a subset Y whose complement in X is a countable set. In other words, Y contains all but countably many elements of X. While the rational numbers are a countable subset of the reals, for example, the irrational numbers are a cocountable subset of the reals. If the complement is finite, then one says Y is cofinite.

σ-algebras

The set of all subsets of X that are either countable or cocountable forms a σ-algebra, i.e., it is closed under the operations of countable unions, countable intersections, and complementation. This σ-algebra is the countable-cocountable algebra on X. It is the smallest σ-algebra containing every singleton set.

Topology

The cocountable topology (also called the "countable complement topology") on any set X consists of the empty set and all cocountable subsets of X.

gollark: This is troubling as osmarkscompiler™ is to be written in Haskell, once I work out how compilers work.
gollark: I *have* noticed utter failures of haskell online docs.
gollark: Although I think this is technically not silkscreened but just etched or whatever.
gollark: The PCB has a bee silkscreened on.
gollark: I vaguely intend™ to learn more electronics things™, but the great thing about vaguely intending is that you don't have to do anything.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.