Definitions
from Wiktionary, Creative Commons Attribution/ShareAlike License
 adj. Not empty, containing something.
 adj. Describing a set that contains at least one element and is therefore distinct from the empty set.
Etymologies
Sorry, no etymologies found.
Examples

Supposedly, I'm getting some junk .. fuse: mountpoint is not empty fuse: if you are sure this is safe, use the 'nonempty' mount option Yeah, well, of course it's not empty.

Thus, as Tarski notes, if every expression of a language counted as a logical constant, logical validity would reduce to material truth preservation (or, on later versions of Tarski's definition, to material truth preservation on every nonempty domain) (1983, 419).

In the second of these the notions bounded above, bounded below, and bounded are defined as in classical mathematics, and the least upper bound, if it exists, of a nonempty [47] set S of real numbers is the unique real number b such that

Aristotelian logic studied certain simple relationships between classes, namely being a subclass of and having a nonempty intersection with.

Was Boole using Aristotelian semantics (where class symbols were nonempty)?

If B is a structure and X is a nonempty subset of dom (B), then there is a unique smallest substructure of B whose domain contains all of

H be the collection of nonempty subsets of {0, 1}, i.e.,

Accordingly suppose we are given an indexed family of nonempty sets

Every nonempty inductive partially ordered set has a maximal element.

Given a nonempty inductive partially ordered set (P, ¤), pick an arbitrary element p0 of P.
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.