from Wiktionary, Creative Commons Attribution/Share-Alike License

  • adj. Of a set, containing at least one element; not the empty set.


Sorry, no etymologies found.


  • If we can equate nothing with the empty set and something with a non-empty set, (not a trivial assumption, given that mathematics extends beyond set theory), then it is significant to note that whilst every set contains the empty set as a subset, the converse certainly isn't true.

    Archive 2009-01-01

  • Clearly the intersections of sex with both toothpaste and orange juice should be non-empty.

    Some things you can’t undo.

  • The ones who get hosed by the present system are those with no bargaining power and non-empty pockets.

    The Volokh Conspiracy » Health Insurance and the Public Plan: Where’s The Beef?

  • However, this resemblance is merely apparent, because empty nouns are genuine names and can always be decomposed into non-empty genuine names (e.g., "round square").

    Lvov-Warsaw School

  • An inclusive or exclusive disjunction of two propositions s1 and s2 is interpreted by Bolzano as a proposition which attributes to the idea [a true proposition belonging to the collection consisting of s1 and s2] the property of being non-empty or singular, respectively (WL II, 204 f., 228 f.).

    Slices of Matisse

  • A propositional form F is universally valid iff at least one member of F is true, and every member of F with a non-empty subject idea is true; F is universally contravalid iff every member of F is false.

    Slices of Matisse

  • If all i-variants of a proposition s with an non-empty subject idea are true, Bolzano will say that s is universally valid with respect to i.

    Slices of Matisse

  • If all variants of s with respect to i with non-empty subject ideas are true,

    Slices of Matisse

  • In a sentence of the form ˜There is at least one A™ we attribute, according to Bolzano, not a property to A itself but to [A], i.e., the idea of A, namely the property of being non-empty.

    Slices of Matisse

  • A propositional form F is logically valid iff F is a logical propositional form that is universally valid, i.e., at least one of its members is true, and all of its members with non-empty subject ideas are true.

    Slices of Matisse


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