Definitions

from Wiktionary, Creative Commons Attribution/Share-Alike 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.

    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.

    The Algebra of Logic Tradition

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

    The Algebra of Logic Tradition

  • 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

Wordnik is becoming a not-for-profit! Read our announcement here.

Comments

Log in or sign up to get involved in the conversation. It's quick and easy.