| 释义 |
non-ˈempty, a. Math. and Logic.
[non- 3.]
Not empty; having at least one member or element.
1937Mind XLVI. 375 There is another non-empty sub-set..of sentences of C2 which are nonsensical but not α-nonsensical. 1956E. M. Patterson Topology vi. 113 A complex K is said to be connected if it is not the union of two non-empty subcomplexes which have no simplexes in common. 1957P. Suppes Introd. Logic 198 At least one of the three small regions is non-empty. 1965P. Caws Philos. of Sci. xvii. 130 The restriction must be added that the domain be non-empty. 1971G. Glauberman in Powell & Higman Finite Simple Groups i. 54 Let {scrA} be a non-empty set of subgroups of S.
Hence non-ˈemptiness, the property of being non-empty.
1937A. Smeaton tr. Carnap's Logical Syntax of Lang. 261 We introduce conditions which require for symmetrical, reflexive, and transitive relations the property of non-emptiness. 1950W. 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. 1957P. Suppes Introd. Logic ix. 198 Another kind of symbol is needed for non-emptiness. 1965Hughes & Londey Elem. Formal Logic xlvi. 339 Each schema..is valid under the hypothesis of the non-emptiness of some one term. |