nonempty love

# nonempty

## Definitions

• 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.

LinuxQuestions.org

• 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).

Logical Constants

• 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

Continuity and Infinitesimals

• 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

First-order Model Theory

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

The Axiom of Choice

• Accordingly suppose we are given an indexed family of nonempty sets

The Axiom of Choice

• Every nonempty inductive partially ordered set has a maximal element.

The Axiom of Choice

• Given a nonempty inductive partially ordered set (P, ¤), pick an arbitrary element p0 of P.

The Axiom of Choice