Empty Set

(redirected from Nonempty set)
Also found in: Dictionary.

empty set

[′em·tē ′set]
The set with no elements.

Empty Set


(or null set), the set that contains no elements. The concept of the empty set, like the concept of zero, arises from the need to have the result of any operation on sets also be a set. The source of the concept of the empty set is the very method of defining a set by a characteristic property of its elements, since it may not be known beforehand whether elements possessing the property do in fact exist. Thus, it still is not known whether the equation xn + yn = zn, where n is an integer greater than 2, can be solved for x, y, and z if x, y, and z are natural numbers. In other words, it still is not known whether the set of those n > 2 for which the equation is solvable is empty or nonempty.

References in periodicals archive ?
An interval neutrosophic set in a nonempty set X is a structure of the form:
Let X be a nonempty set and K, L : X [right arrow] X be two self-maps.
called the attributes set, is also a finite nonempty set of attributes;
Let M be a nonempty set in a Banach space [epsilon] and let U : M [right arrow] BD ([epsilon]) be an upper semicontinuous operator mapping bounded sets onto bounded ones.
Let V be a nonempty set and E be a family of nonempty subsets of V.
It is shown that the space M(A) in the Gelfand topology is a compact Hausdorff space for every unital TQ-algebras with a nonempty set M(A), and a commutative complete metrizable unital algebra is a TQ-algebras if and only if all maximal topological ideals of A are closed.
n]} is a nonempty set of objects (n is the number of objects in data table); A = C [union] D, in which C={[c.
Recall that a partially ordered set (M, [less than or equal to]) is well-ordered if for each nonempty set b C M there is a smallest element [b.
In all that follows Y is an arbitrary nonempty set and (X, d) a b-metric space unless otherwise specified.
lambda]]:[lambda][member of] [DELTA]} be a family of fuzzy subsets of a nonempty set X.
a]is a nonempty set of values for a [member of] At,