Mixing
Is there a synonym of vacuity?
0
$begingroup$
I can describe a set as empty or non-empty. And I sometimes refer to the property of being empty as vacuity. Is there a form of the word vacuity which means non-empty? non-vacuity seems wrong to me.
elementary-set-theory
edited Dec 4 '17 at 13:37
Christian Blatter
175k8115327
asked Dec 4 '17 at 12:48
Jim NewtonJim Newton
444
$endgroup$
add a comment |
0
$begingroup$
I can describe a set as empty or non-empty. And I sometimes refer to the property of being empty as vacuity. Is there a form of the word vacuity which means non-empty? non-vacuity seems wrong to me.
elementary-set-theory
edited Dec 4 '17 at 13:37
Christian Blatter
175k8115327
asked Dec 4 '17 at 12:48
Jim NewtonJim Newton
444
$endgroup$
$begingroup$
i would say vacuum
$endgroup$
– Dr. Sonnhard Graubner
Dec 4 '17 at 12:50
2
$begingroup$
We use the locution vacuous truth in "a statement that asserts that all members of the empty set have a certain property." But we refer to the empty set as "empty": why call it "vacuous set" ?
$endgroup$
– Mauro ALLEGRANZA
Dec 4 '17 at 12:54
$begingroup$
For example "in order to prove the vacuity of set H we recall Lemma 12". I'm beginning to wonder whether I should just completely avoid this term as a useless word?
$endgroup$
– Jim Newton
Dec 4 '17 at 12:56
add a comment |
0
0
0
$begingroup$
I can describe a set as empty or non-empty. And I sometimes refer to the property of being empty as vacuity. Is there a form of the word vacuity which means non-empty? non-vacuity seems wrong to me.
elementary-set-theory
edited Dec 4 '17 at 13:37
Christian Blatter
175k8115327
asked Dec 4 '17 at 12:48
Jim NewtonJim Newton
444
$endgroup$
I can describe a set as empty or non-empty. And I sometimes refer to the property of being empty as vacuity. Is there a form of the word vacuity which means non-empty? non-vacuity seems wrong to me.
elementary-set-theory
elementary-set-theory
edited Dec 4 '17 at 13:37
Christian Blatter
175k8115327
asked Dec 4 '17 at 12:48
Jim NewtonJim Newton
444
edited Dec 4 '17 at 13:37
Christian Blatter
175k8115327
asked Dec 4 '17 at 12:48
Jim NewtonJim Newton
444
edited Dec 4 '17 at 13:37
Christian Blatter
175k8115327
edited Dec 4 '17 at 13:37
Christian Blatter
175k8115327
edited Dec 4 '17 at 13:37
Christian Blatter
175k8115327
175k8115327
asked Dec 4 '17 at 12:48
Jim NewtonJim Newton
444
asked Dec 4 '17 at 12:48
Jim NewtonJim Newton
444
asked Dec 4 '17 at 12:48
Jim NewtonJim Newton
444
444
$begingroup$
i would say vacuum
$endgroup$
– Dr. Sonnhard Graubner
Dec 4 '17 at 12:50
2
$begingroup$
We use the locution vacuous truth in "a statement that asserts that all members of the empty set have a certain property." But we refer to the empty set as "empty": why call it "vacuous set" ?
$endgroup$
– Mauro ALLEGRANZA
Dec 4 '17 at 12:54
$begingroup$
For example "in order to prove the vacuity of set H we recall Lemma 12". I'm beginning to wonder whether I should just completely avoid this term as a useless word?
$endgroup$
– Jim Newton
Dec 4 '17 at 12:56
add a comment |
$begingroup$
i would say vacuum
$endgroup$
– Dr. Sonnhard Graubner
Dec 4 '17 at 12:50
2
$begingroup$
We use the locution vacuous truth in "a statement that asserts that all members of the empty set have a certain property." But we refer to the empty set as "empty": why call it "vacuous set" ?
$endgroup$
– Mauro ALLEGRANZA
Dec 4 '17 at 12:54
$begingroup$
For example "in order to prove the vacuity of set H we recall Lemma 12". I'm beginning to wonder whether I should just completely avoid this term as a useless word?
$endgroup$
– Jim Newton
Dec 4 '17 at 12:56
$begingroup$
i would say vacuum
$endgroup$
– Dr. Sonnhard Graubner
Dec 4 '17 at 12:50
$begingroup$
i would say vacuum
$endgroup$
– Dr. Sonnhard Graubner
Dec 4 '17 at 12:50
2
2
$begingroup$
We use the locution vacuous truth in "a statement that asserts that all members of the empty set have a certain property." But we refer to the empty set as "empty": why call it "vacuous set" ?
$endgroup$
– Mauro ALLEGRANZA
Dec 4 '17 at 12:54
$begingroup$
We use the locution vacuous truth in "a statement that asserts that all members of the empty set have a certain property." But we refer to the empty set as "empty": why call it "vacuous set" ?
$endgroup$
– Mauro ALLEGRANZA
Dec 4 '17 at 12:54
$begingroup$
For example "in order to prove the vacuity of set H we recall Lemma 12". I'm beginning to wonder whether I should just completely avoid this term as a useless word?
$endgroup$
– Jim Newton
Dec 4 '17 at 12:56
$begingroup$
For example "in order to prove the vacuity of set H we recall Lemma 12". I'm beginning to wonder whether I should just completely avoid this term as a useless word?
$endgroup$
– Jim Newton
Dec 4 '17 at 12:56
add a comment |
2 Answers
2
active
oldest
votes
3
$begingroup$
The property of being empty is often called emptyness, and I have seen nonemptyness for the property of being nonempty.
By the way: Unfortunately there is no established sign for $Acap Bneemptyset$, so that we have to express a positive fact using two negations. I sometimes write $A!supset!!!subset! B$.
answered Dec 4 '17 at 13:44
Christian BlatterChristian Blatter
175k8115327
$endgroup$
1
$begingroup$
George Mackey invented a symmetrical symbol for this: a vertical line atop a small circle. He described it as "d for disjoint" with the round part of the d moved under the vertical for symmetry. There's probably at $LaTeX$ version.
$endgroup$
– Ethan Bolker
Dec 4 '17 at 13:59
$begingroup$
I've been using the perpendicular symbol $A perp B$ vs $A notperp B$ to mean disjoint/touching. And I just define that early in my paper among the notations. However, some reviewers and smirked at the usage. My notation does admittedly risk confusion if also used with the $top$ and $bot$ symbols.
$endgroup$
– Jim Newton
Dec 4 '17 at 14:54
1
$begingroup$
Fine, except the spelling is emptiness. This follows a standard pattern in English: busy $to$ business, holy $to$ holiness, ready $to$ readiness, usw.
$endgroup$
– bof
Dec 5 '17 at 3:19
1
$begingroup$
Personally I like the parallel line symbol $Aparallel B$ to mean that $A$ and $B$ are disjoint, but unfortunately nobody else does.
$endgroup$
– bof
Dec 5 '17 at 3:23
add a comment |
0
$begingroup$
I used non-null except there were too many complaints.
Another useful term is multipoint.
edited Dec 5 '17 at 4:14
Parcly Taxel
44.6k1376109
answered Dec 5 '17 at 2:26
William ElliotWilliam Elliot
8,6922820
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
draft saved
draft discarded
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2550498%2fis-there-a-synonym-of-vacuity%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
3
$begingroup$
The property of being empty is often called emptyness, and I have seen nonemptyness for the property of being nonempty.
By the way: Unfortunately there is no established sign for $Acap Bneemptyset$, so that we have to express a positive fact using two negations. I sometimes write $A!supset!!!subset! B$.
answered Dec 4 '17 at 13:44
Christian BlatterChristian Blatter
175k8115327
$endgroup$
1
$begingroup$
George Mackey invented a symmetrical symbol for this: a vertical line atop a small circle. He described it as "d for disjoint" with the round part of the d moved under the vertical for symmetry. There's probably at $LaTeX$ version.
$endgroup$
– Ethan Bolker
Dec 4 '17 at 13:59
$begingroup$
I've been using the perpendicular symbol $A perp B$ vs $A notperp B$ to mean disjoint/touching. And I just define that early in my paper among the notations. However, some reviewers and smirked at the usage. My notation does admittedly risk confusion if also used with the $top$ and $bot$ symbols.
$endgroup$
– Jim Newton
Dec 4 '17 at 14:54
1
$begingroup$
Fine, except the spelling is emptiness. This follows a standard pattern in English: busy $to$ business, holy $to$ holiness, ready $to$ readiness, usw.
$endgroup$
– bof
Dec 5 '17 at 3:19
1
$begingroup$
Personally I like the parallel line symbol $Aparallel B$ to mean that $A$ and $B$ are disjoint, but unfortunately nobody else does.
$endgroup$
– bof
Dec 5 '17 at 3:23
add a comment |
3
$begingroup$
The property of being empty is often called emptyness, and I have seen nonemptyness for the property of being nonempty.
By the way: Unfortunately there is no established sign for $Acap Bneemptyset$, so that we have to express a positive fact using two negations. I sometimes write $A!supset!!!subset! B$.
answered Dec 4 '17 at 13:44
Christian BlatterChristian Blatter
175k8115327
$endgroup$
1
$begingroup$
George Mackey invented a symmetrical symbol for this: a vertical line atop a small circle. He described it as "d for disjoint" with the round part of the d moved under the vertical for symmetry. There's probably at $LaTeX$ version.
$endgroup$
– Ethan Bolker
Dec 4 '17 at 13:59
$begingroup$
I've been using the perpendicular symbol $A perp B$ vs $A notperp B$ to mean disjoint/touching. And I just define that early in my paper among the notations. However, some reviewers and smirked at the usage. My notation does admittedly risk confusion if also used with the $top$ and $bot$ symbols.
$endgroup$
– Jim Newton
Dec 4 '17 at 14:54
1
$begingroup$
Fine, except the spelling is emptiness. This follows a standard pattern in English: busy $to$ business, holy $to$ holiness, ready $to$ readiness, usw.
$endgroup$
– bof
Dec 5 '17 at 3:19
1
$begingroup$
Personally I like the parallel line symbol $Aparallel B$ to mean that $A$ and $B$ are disjoint, but unfortunately nobody else does.
$endgroup$
– bof
Dec 5 '17 at 3:23
add a comment |
3
3
3
$begingroup$
The property of being empty is often called emptyness, and I have seen nonemptyness for the property of being nonempty.
By the way: Unfortunately there is no established sign for $Acap Bneemptyset$, so that we have to express a positive fact using two negations. I sometimes write $A!supset!!!subset! B$.
answered Dec 4 '17 at 13:44
Christian BlatterChristian Blatter
175k8115327
$endgroup$
The property of being empty is often called emptyness, and I have seen nonemptyness for the property of being nonempty.
By the way: Unfortunately there is no established sign for $Acap Bneemptyset$, so that we have to express a positive fact using two negations. I sometimes write $A!supset!!!subset! B$.
answered Dec 4 '17 at 13:44
Christian BlatterChristian Blatter
175k8115327
answered Dec 4 '17 at 13:44
Christian BlatterChristian Blatter
175k8115327
answered Dec 4 '17 at 13:44
Christian BlatterChristian Blatter
175k8115327
answered Dec 4 '17 at 13:44
Christian BlatterChristian Blatter
175k8115327
175k8115327
1
$begingroup$
George Mackey invented a symmetrical symbol for this: a vertical line atop a small circle. He described it as "d for disjoint" with the round part of the d moved under the vertical for symmetry. There's probably at $LaTeX$ version.
$endgroup$
– Ethan Bolker
Dec 4 '17 at 13:59
$begingroup$
I've been using the perpendicular symbol $A perp B$ vs $A notperp B$ to mean disjoint/touching. And I just define that early in my paper among the notations. However, some reviewers and smirked at the usage. My notation does admittedly risk confusion if also used with the $top$ and $bot$ symbols.
$endgroup$
– Jim Newton
Dec 4 '17 at 14:54
1
$begingroup$
Fine, except the spelling is emptiness. This follows a standard pattern in English: busy $to$ business, holy $to$ holiness, ready $to$ readiness, usw.
$endgroup$
– bof
Dec 5 '17 at 3:19
1
$begingroup$
Personally I like the parallel line symbol $Aparallel B$ to mean that $A$ and $B$ are disjoint, but unfortunately nobody else does.
$endgroup$
– bof
Dec 5 '17 at 3:23
add a comment |
1
$begingroup$
George Mackey invented a symmetrical symbol for this: a vertical line atop a small circle. He described it as "d for disjoint" with the round part of the d moved under the vertical for symmetry. There's probably at $LaTeX$ version.
$endgroup$
– Ethan Bolker
Dec 4 '17 at 13:59
$begingroup$
I've been using the perpendicular symbol $A perp B$ vs $A notperp B$ to mean disjoint/touching. And I just define that early in my paper among the notations. However, some reviewers and smirked at the usage. My notation does admittedly risk confusion if also used with the $top$ and $bot$ symbols.
$endgroup$
– Jim Newton
Dec 4 '17 at 14:54
1
$begingroup$
Fine, except the spelling is emptiness. This follows a standard pattern in English: busy $to$ business, holy $to$ holiness, ready $to$ readiness, usw.
$endgroup$
– bof
Dec 5 '17 at 3:19
1
$begingroup$
Personally I like the parallel line symbol $Aparallel B$ to mean that $A$ and $B$ are disjoint, but unfortunately nobody else does.
$endgroup$
– bof
Dec 5 '17 at 3:23
1
1
$begingroup$
George Mackey invented a symmetrical symbol for this: a vertical line atop a small circle. He described it as "d for disjoint" with the round part of the d moved under the vertical for symmetry. There's probably at $LaTeX$ version.
$endgroup$
– Ethan Bolker
Dec 4 '17 at 13:59
$begingroup$
George Mackey invented a symmetrical symbol for this: a vertical line atop a small circle. He described it as "d for disjoint" with the round part of the d moved under the vertical for symmetry. There's probably at $LaTeX$ version.
$endgroup$
– Ethan Bolker
Dec 4 '17 at 13:59
$begingroup$
I've been using the perpendicular symbol $A perp B$ vs $A notperp B$ to mean disjoint/touching. And I just define that early in my paper among the notations. However, some reviewers and smirked at the usage. My notation does admittedly risk confusion if also used with the $top$ and $bot$ symbols.
$endgroup$
– Jim Newton
Dec 4 '17 at 14:54
$begingroup$
I've been using the perpendicular symbol $A perp B$ vs $A notperp B$ to mean disjoint/touching. And I just define that early in my paper among the notations. However, some reviewers and smirked at the usage. My notation does admittedly risk confusion if also used with the $top$ and $bot$ symbols.
$endgroup$
– Jim Newton
Dec 4 '17 at 14:54
1
1
$begingroup$
Fine, except the spelling is emptiness. This follows a standard pattern in English: busy $to$ business, holy $to$ holiness, ready $to$ readiness, usw.
$endgroup$
– bof
Dec 5 '17 at 3:19
$begingroup$
Fine, except the spelling is emptiness. This follows a standard pattern in English: busy $to$ business, holy $to$ holiness, ready $to$ readiness, usw.
$endgroup$
– bof
Dec 5 '17 at 3:19
1
1
$begingroup$
Personally I like the parallel line symbol $Aparallel B$ to mean that $A$ and $B$ are disjoint, but unfortunately nobody else does.
$endgroup$
– bof
Dec 5 '17 at 3:23
$begingroup$
Personally I like the parallel line symbol $Aparallel B$ to mean that $A$ and $B$ are disjoint, but unfortunately nobody else does.
$endgroup$
– bof
Dec 5 '17 at 3:23
add a comment |
0
$begingroup$
I used non-null except there were too many complaints.
Another useful term is multipoint.
edited Dec 5 '17 at 4:14
Parcly Taxel
44.6k1376109
answered Dec 5 '17 at 2:26
William ElliotWilliam Elliot
8,6922820
$endgroup$
add a comment |
0
$begingroup$
I used non-null except there were too many complaints.
Another useful term is multipoint.
edited Dec 5 '17 at 4:14
Parcly Taxel
44.6k1376109
answered Dec 5 '17 at 2:26
William ElliotWilliam Elliot
8,6922820
$endgroup$
add a comment |
0
0
0
$begingroup$
I used non-null except there were too many complaints.
Another useful term is multipoint.
edited Dec 5 '17 at 4:14
Parcly Taxel
44.6k1376109
answered Dec 5 '17 at 2:26
William ElliotWilliam Elliot
8,6922820
$endgroup$
I used non-null except there were too many complaints.
Another useful term is multipoint.
edited Dec 5 '17 at 4:14
Parcly Taxel
44.6k1376109
answered Dec 5 '17 at 2:26
William ElliotWilliam Elliot
8,6922820
edited Dec 5 '17 at 4:14
Parcly Taxel
44.6k1376109
edited Dec 5 '17 at 4:14
Parcly Taxel
44.6k1376109
edited Dec 5 '17 at 4:14
Parcly Taxel
44.6k1376109
44.6k1376109
answered Dec 5 '17 at 2:26
William ElliotWilliam Elliot
8,6922820
answered Dec 5 '17 at 2:26
William ElliotWilliam Elliot
8,6922820
answered Dec 5 '17 at 2:26
William ElliotWilliam Elliot
8,6922820
8,6922820
add a comment |
add a comment |
draft saved
draft discarded
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
draft saved
draft discarded
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2550498%2fis-there-a-synonym-of-vacuity%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
$begingroup$
i would say vacuum
$endgroup$
– Dr. Sonnhard Graubner
Dec 4 '17 at 12:50
2
$begingroup$
We use the locution vacuous truth in "a statement that asserts that all members of the empty set have a certain property." But we refer to the empty set as "empty": why call it "vacuous set" ?
$endgroup$
– Mauro ALLEGRANZA
Dec 4 '17 at 12:54
$begingroup$
For example "in order to prove the vacuity of set H we recall Lemma 12". I'm beginning to wonder whether I should just completely avoid this term as a useless word?
$endgroup$
– Jim Newton
Dec 4 '17 at 12:56