Search Results for ""

The proposal originally made by Georg Cantor that there is no infinite set with a cardinal number between that of the "small" infinite set of integers aleph_0 and the "large" ...

The set theory symbol aleph_0 refers to a set having the same cardinal number as the "small" infinite set of integers. The symbol aleph_0 is often pronounced "aleph-null" ...

A relation "<=" is a partial order on a set S if it has: 1. Reflexivity: a<=a for all a in S. 2. Antisymmetry: a<=b and b<=a implies a=b. 3. Transitivity: a<=b and b<=c ...

Given any two distinct points x,y, there exist neighborhoods u and v of x and y, respectively, with u intersection v=emptyset. It then follows that finite subsets are closed.

The Zermelo-Fraenkel axioms are the basis for Zermelo-Fraenkel set theory. In the following (Jech 1997, p. 1), exists stands for exists, forall means for all, in stands for ...

Informally, the sample space for a given set of events is the set of all possible values the events may assume. Formally, the set of possible events for a given random ...

An "area" which can be defined for every set--even those without a true geometric area--which is rigid and finitely additive.

A puzzle in logic in which one or more facts must be inferred from a set of given facts.

The process of taking the complement of a set or truth function. In the latter case, complementation is equivalent to the NOT operation.

S_n=sum_(i)eta_imu(E_i), where mu(E_i) is the measure of the set E_i of points on the x-axis for which f(x) approx eta_i.