Search Results for ""

A definable set, also called a Souslin set.

A version of set theory which is a formal system expressed in first-order predicate logic. Zermelo-Fraenkel set theory is based on the Zermelo-Fraenkel axioms. ...

A hom-set of a category C is a set of morphisms of C.

The limit points of a set P, denoted P^'.

An ordered pair representation is a representation of a directed graph in which edges are specified as ordered pairs or vertex indices. The ordered pairs representation of a ...

An analytic, Borel, or coanalytic set.

A connected set is a set that cannot be partitioned into two nonempty subsets which are open in the relative topology induced on the set. Equivalently, it is a set which ...

An orthonormal set is a set of normalized orthogonal vectors or functions.

A nonempty set is a set containing one or more elements. Any set other than the empty set emptyset is therefore a nonempty set. Nonempty sets are sometimes also called ...

A set fixed within the framework of a theory and consisting of all objects considered in this theory. The complement of the universal set is the empty set.