non-emptinessn.

Brit.

/nɒnˈɛm(p)tɪnᵻs/, U.S.

/nɑnˈɛm(p)tinᵻs/

Origin: Formed within English, by derivation. Etymons: non- prefix, emptiness n.

Etymology: < non- prefix + emptiness n., after non-empty adj.

Mathematics and Logic.

The property of a set of being non-empty.

ΘΚΠ

the world > relative properties > number > mathematics > [noun] > mathematical property

irreductibility1865

utility1881

intransitivity1889

independence1902

non-linearity1904

connexity1905

analyticity1914

irredundance1925

irreflexiveness1933

decidability1936

non-emptiness1936

undecidability1942

irredundancy1952

irreflexivity1964

single-valuedness1968

the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > set theory or extension > other elements of

isomorphism1892

axiom of reducibility1908

non-emptiness1936

1936 Jrnl. Symbolic Logic 1 72 Postulates are added which provide for the seriality and non-emptiness of R.

1950 W. V. Quine Methods of Logic (1952) 80 The bar..can be made to lie across a boundary and thus indicate non-emptiness of a compound region.

1965 G. E. Hughes & D. G. Londey Elements Formal Logic xlvi. 339 Each schema..is valid under the hypothesis of the non-emptiness of some one term.

1999 Proc. National Acad. Sci. U.S.A. 96 8297/2 If d > 1, the necessary conditions on u to guarantee the nonemptiness of K(u) are quite severe.

This entry has been updated (OED Third Edition, December 2003; most recently modified version published online March 2022).

单词	non-emptiness
释义	non-emptinessn. Brit. /nɒnˈɛm(p)tɪnᵻs/, U.S. /nɑnˈɛm(p)tinᵻs/ Origin: Formed within English, by derivation. Etymons: non- prefix, emptiness n. Etymology: < non- prefix + emptiness n., after non-empty adj. Mathematics and Logic. The property of a set of being non-empty. ΘΚΠ the world > relative properties > number > mathematics > [noun] > mathematical property irreductibility1865 utility1881 intransitivity1889 independence1902 non-linearity1904 connexity1905 analyticity1914 irredundance1925 irreflexiveness1933 decidability1936 non-emptiness1936 undecidability1942 irredundancy1952 irreflexivity1964 single-valuedness1968 the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > set theory or extension > other elements of isomorphism1892 axiom of reducibility1908 non-emptiness1936 1936 Jrnl. Symbolic Logic 1 72 Postulates are added which provide for the seriality and non-emptiness of R. 1950 W. V. Quine Methods of Logic (1952) 80 The bar..can be made to lie across a boundary and thus indicate non-emptiness of a compound region. 1965 G. E. Hughes & D. G. Londey Elements Formal Logic xlvi. 339 Each schema..is valid under the hypothesis of the non-emptiness of some one term. 1999 Proc. National Acad. Sci. U.S.A. 96 8297/2 If d > 1, the necessary conditions on u to guarantee the nonemptiness of K(u) are quite severe. This entry has been updated (OED Third Edition, December 2003; most recently modified version published online March 2022). < n.1936
随便看	the ville the virgin the virgin mother the virgin's spike the visible the visitation the visitation of our lady the vogue the voice of christ the voice of etc the voice of god the voice of heaven the vulgar the vulgar world the wall the wandering jew the wardhouse the warlike god the wars of the roses the wash the washes the wasp got him by the nose the watches of the night the water of the waterward