mathematics, a set is countable if either it is finite or it can be made in one to one correspondence with the set of natural numbers. Equivalently, a set is countable...

closed sets) through the operations of countable union, countable intersection, and relative complement. Borel sets are named after Émile Borel. For a topological...

countable choice or axiom of denumerable choice, denoted ACω, is an axiom of set theory that states that every countable collection of non-empty sets...

null set is a Lebesgue measurable set of real numbers that has measure zero. This can be characterized as a set that can be covered by a countable union...

cocountable subset of a set X {\displaystyle X} is a subset Y {\displaystyle Y} whose complement in X {\displaystyle X} is a countable set. In other words, Y...

mathematical field of descriptive set theory, a subset of a Polish space has the perfect set property if it is either countable or has a nonempty perfect subset...

mathematics, an axiom of countability is a property of certain mathematical objects that asserts the existence of a countable set with certain properties...

In set theory, an infinite set is a set that is not a finite set. Infinite sets may be countable or uncountable. The set of natural numbers (whose existence...

Neumann universe. So here it is a countable set. In 1937, Wilhelm Ackermann introduced an encoding of hereditarily finite sets as natural numbers. It is defined...

(over ZF) conditions: it has a countably infinite subset; there exists an injective map from a countably infinite set to A; there is a function f : A...

|\mathbb {N} |=\aleph _{0}} are called countable sets; these are either finite sets or countably infinite sets (sets of cardinality ℵ 0 {\displaystyle \aleph...

uncountable ordinal is the set of all countable ordinals, expressed as ω1 or ⁠ Ω {\displaystyle \Omega } ⁠. In a well-ordered set, every non-empty subset...

countable union of measurable sets of finite measure. Analogously, a set in a measure space is said to have a σ-finite measure if it is a countable union...

known as the countable complement topology, is a topology that can be defined on any infinite set X {\displaystyle X} . In this topology, a set is open if...

In set theory, a set is called hereditarily countable if it is a countable set of hereditarily countable sets. The inductive definition above is well-founded...

In mathematics, an Fσ set (said F-sigma set) is a countable union of closed sets. The notation originated in French with F for fermé (French: closed) and...

infinite number of sets. A σ-additive set function is a function that has the additivity property even for countably infinite many sets, that is, μ ( ⋃ n...

formulate probability theory on sets which are constrained to be measurable. The measurable sets on the line are iterated countable unions and intersections...

exist sets which are not countable. Thus the seeming contradiction is that a model that is itself countable, and which therefore contains only countable sets...

sets is a countable set. However, ZF with the ultrafilter lemma is too weak to prove that a countable union of countable sets is a countable set. The Hahn–Banach...

V=L Axiom of countability Every set is hereditarily countable Axiom of countable choice The product of a countable number of non-empty sets is non-empty...

Moreover, every Borel set is Lebesgue-measurable. However, there are Lebesgue-measurable sets which are not Borel sets. Any countable set of real numbers has...

finite set is finite. All finite sets are countable, but not all countable sets are finite. (Some authors, however, use "countable" to mean "countably infinite"...

between sets, popularized by John Venn (1834–1923) in the 1880s. The diagrams are used to teach elementary set theory, and to illustrate simple set relationships...

In set theory, the complement of a set A, often denoted by A c {\displaystyle A^{c}} (or A′), is the set of elements not in A. When all elements in the...

topology, a second-countable space, also called a completely separable space, is a topological space whose topology has a countable base. More explicitly...

Every countable set is a strong measure zero set, and so is every union of countably many strong measure zero sets. Every strong measure zero set has Lebesgue...

Kronecker objected to Cantor's proofs that the algebraic numbers are countable, and that the transcendental numbers are uncountable, results now included...

intuitiveness. The language's alphabet consists of: A countably infinite number of variables used for representing sets The logical connectives ¬ {\displaystyle \lnot...

Naive set theory is any of several theories of sets used in the discussion of the foundations of mathematics. Unlike axiomatic set theories, which are...