How do I define a set of statements of the form x∈A in set builder notation?












1












$begingroup$


I would like to define a set with set builder notation where all elements are of the form "x ∈ A." For example, with a set B = {x ∈ A, y ∈ A, ... , z ∈ A} it would be tempting to define B as B = {a ∈ A | a ∈ A} but in this case "a ∈ A" is just taken to mean "a" which is an element of "A" so it would be that B = {x , y, ..., z} which is not what I want. How would one define a set of statements, such as B, in set builder notation without making it misleading?










share|cite|improve this question











$endgroup$








  • 1




    $begingroup$
    What does "of the form $xin A$" mean? Either $x$ is also in $A$ or $x$ is not in $A$.
    $endgroup$
    – Joey Kilpatrick
    Dec 1 '18 at 7:27












  • $begingroup$
    Welcome to MSE. For some basic information about writing mathematics at this site see, e.g., basic help on mathjax notation, mathjax tutorial and quick reference, main meta site math tutorial and equation editing how-to.
    $endgroup$
    – José Carlos Santos
    Dec 1 '18 at 7:28






  • 1




    $begingroup$
    I don't understand, why not just write $A$? $A$ is the set of all elements $x in A$.
    $endgroup$
    – AlephZero
    Dec 1 '18 at 7:43










  • $begingroup$
    Your question is confusing. What exactly are you trying to ask? As @AlephZero rightly said, $A$ is the set of every $ain A$. Why not just write A?.
    $endgroup$
    – Bertrand Wittgenstein's Ghost
    Dec 1 '18 at 7:46












  • $begingroup$
    I don't want B to be the set of all elements in A; I want B to be the set of all "statements," such as "x is an element of A," "y is an element of A," and so forth.
    $endgroup$
    – Cam White
    Dec 1 '18 at 7:48
















1












$begingroup$


I would like to define a set with set builder notation where all elements are of the form "x ∈ A." For example, with a set B = {x ∈ A, y ∈ A, ... , z ∈ A} it would be tempting to define B as B = {a ∈ A | a ∈ A} but in this case "a ∈ A" is just taken to mean "a" which is an element of "A" so it would be that B = {x , y, ..., z} which is not what I want. How would one define a set of statements, such as B, in set builder notation without making it misleading?










share|cite|improve this question











$endgroup$








  • 1




    $begingroup$
    What does "of the form $xin A$" mean? Either $x$ is also in $A$ or $x$ is not in $A$.
    $endgroup$
    – Joey Kilpatrick
    Dec 1 '18 at 7:27












  • $begingroup$
    Welcome to MSE. For some basic information about writing mathematics at this site see, e.g., basic help on mathjax notation, mathjax tutorial and quick reference, main meta site math tutorial and equation editing how-to.
    $endgroup$
    – José Carlos Santos
    Dec 1 '18 at 7:28






  • 1




    $begingroup$
    I don't understand, why not just write $A$? $A$ is the set of all elements $x in A$.
    $endgroup$
    – AlephZero
    Dec 1 '18 at 7:43










  • $begingroup$
    Your question is confusing. What exactly are you trying to ask? As @AlephZero rightly said, $A$ is the set of every $ain A$. Why not just write A?.
    $endgroup$
    – Bertrand Wittgenstein's Ghost
    Dec 1 '18 at 7:46












  • $begingroup$
    I don't want B to be the set of all elements in A; I want B to be the set of all "statements," such as "x is an element of A," "y is an element of A," and so forth.
    $endgroup$
    – Cam White
    Dec 1 '18 at 7:48














1












1








1





$begingroup$


I would like to define a set with set builder notation where all elements are of the form "x ∈ A." For example, with a set B = {x ∈ A, y ∈ A, ... , z ∈ A} it would be tempting to define B as B = {a ∈ A | a ∈ A} but in this case "a ∈ A" is just taken to mean "a" which is an element of "A" so it would be that B = {x , y, ..., z} which is not what I want. How would one define a set of statements, such as B, in set builder notation without making it misleading?










share|cite|improve this question











$endgroup$




I would like to define a set with set builder notation where all elements are of the form "x ∈ A." For example, with a set B = {x ∈ A, y ∈ A, ... , z ∈ A} it would be tempting to define B as B = {a ∈ A | a ∈ A} but in this case "a ∈ A" is just taken to mean "a" which is an element of "A" so it would be that B = {x , y, ..., z} which is not what I want. How would one define a set of statements, such as B, in set builder notation without making it misleading?







elementary-set-theory notation






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Dec 1 '18 at 14:11









Andrés E. Caicedo

65k8158246




65k8158246










asked Dec 1 '18 at 7:24









Cam WhiteCam White

61




61








  • 1




    $begingroup$
    What does "of the form $xin A$" mean? Either $x$ is also in $A$ or $x$ is not in $A$.
    $endgroup$
    – Joey Kilpatrick
    Dec 1 '18 at 7:27












  • $begingroup$
    Welcome to MSE. For some basic information about writing mathematics at this site see, e.g., basic help on mathjax notation, mathjax tutorial and quick reference, main meta site math tutorial and equation editing how-to.
    $endgroup$
    – José Carlos Santos
    Dec 1 '18 at 7:28






  • 1




    $begingroup$
    I don't understand, why not just write $A$? $A$ is the set of all elements $x in A$.
    $endgroup$
    – AlephZero
    Dec 1 '18 at 7:43










  • $begingroup$
    Your question is confusing. What exactly are you trying to ask? As @AlephZero rightly said, $A$ is the set of every $ain A$. Why not just write A?.
    $endgroup$
    – Bertrand Wittgenstein's Ghost
    Dec 1 '18 at 7:46












  • $begingroup$
    I don't want B to be the set of all elements in A; I want B to be the set of all "statements," such as "x is an element of A," "y is an element of A," and so forth.
    $endgroup$
    – Cam White
    Dec 1 '18 at 7:48














  • 1




    $begingroup$
    What does "of the form $xin A$" mean? Either $x$ is also in $A$ or $x$ is not in $A$.
    $endgroup$
    – Joey Kilpatrick
    Dec 1 '18 at 7:27












  • $begingroup$
    Welcome to MSE. For some basic information about writing mathematics at this site see, e.g., basic help on mathjax notation, mathjax tutorial and quick reference, main meta site math tutorial and equation editing how-to.
    $endgroup$
    – José Carlos Santos
    Dec 1 '18 at 7:28






  • 1




    $begingroup$
    I don't understand, why not just write $A$? $A$ is the set of all elements $x in A$.
    $endgroup$
    – AlephZero
    Dec 1 '18 at 7:43










  • $begingroup$
    Your question is confusing. What exactly are you trying to ask? As @AlephZero rightly said, $A$ is the set of every $ain A$. Why not just write A?.
    $endgroup$
    – Bertrand Wittgenstein's Ghost
    Dec 1 '18 at 7:46












  • $begingroup$
    I don't want B to be the set of all elements in A; I want B to be the set of all "statements," such as "x is an element of A," "y is an element of A," and so forth.
    $endgroup$
    – Cam White
    Dec 1 '18 at 7:48








1




1




$begingroup$
What does "of the form $xin A$" mean? Either $x$ is also in $A$ or $x$ is not in $A$.
$endgroup$
– Joey Kilpatrick
Dec 1 '18 at 7:27






$begingroup$
What does "of the form $xin A$" mean? Either $x$ is also in $A$ or $x$ is not in $A$.
$endgroup$
– Joey Kilpatrick
Dec 1 '18 at 7:27














$begingroup$
Welcome to MSE. For some basic information about writing mathematics at this site see, e.g., basic help on mathjax notation, mathjax tutorial and quick reference, main meta site math tutorial and equation editing how-to.
$endgroup$
– José Carlos Santos
Dec 1 '18 at 7:28




$begingroup$
Welcome to MSE. For some basic information about writing mathematics at this site see, e.g., basic help on mathjax notation, mathjax tutorial and quick reference, main meta site math tutorial and equation editing how-to.
$endgroup$
– José Carlos Santos
Dec 1 '18 at 7:28




1




1




$begingroup$
I don't understand, why not just write $A$? $A$ is the set of all elements $x in A$.
$endgroup$
– AlephZero
Dec 1 '18 at 7:43




$begingroup$
I don't understand, why not just write $A$? $A$ is the set of all elements $x in A$.
$endgroup$
– AlephZero
Dec 1 '18 at 7:43












$begingroup$
Your question is confusing. What exactly are you trying to ask? As @AlephZero rightly said, $A$ is the set of every $ain A$. Why not just write A?.
$endgroup$
– Bertrand Wittgenstein's Ghost
Dec 1 '18 at 7:46






$begingroup$
Your question is confusing. What exactly are you trying to ask? As @AlephZero rightly said, $A$ is the set of every $ain A$. Why not just write A?.
$endgroup$
– Bertrand Wittgenstein's Ghost
Dec 1 '18 at 7:46














$begingroup$
I don't want B to be the set of all elements in A; I want B to be the set of all "statements," such as "x is an element of A," "y is an element of A," and so forth.
$endgroup$
– Cam White
Dec 1 '18 at 7:48




$begingroup$
I don't want B to be the set of all elements in A; I want B to be the set of all "statements," such as "x is an element of A," "y is an element of A," and so forth.
$endgroup$
– Cam White
Dec 1 '18 at 7:48










0






active

oldest

votes











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


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3021091%2fhow-do-i-define-a-set-of-statements-of-the-form-x%25e2%2588%2588a-in-set-builder-notation%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























0






active

oldest

votes








0






active

oldest

votes









active

oldest

votes






active

oldest

votes
















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














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3021091%2fhow-do-i-define-a-set-of-statements-of-the-form-x%25e2%2588%2588a-in-set-builder-notation%23new-answer', 'question_page');
}
);

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







Popular posts from this blog

Quarter-circle Tiles

build a pushdown automaton that recognizes the reverse language of a given pushdown automaton?

Mont Emei