Open main menu
Home
Random
Recent changes
Special pages
Community portal
Preferences
About Wikipedia
Disclaimers
Incubator escapee wiki
Search
User menu
Talk
Dark mode
Contributions
Create account
Log in
Editing
Naive set theory
(section)
Warning:
You are not logged in. Your IP address will be publicly visible if you make any edits. If you
log in
or
create an account
, your edits will be attributed to your username, along with other benefits.
Anti-spam check. Do
not
fill this in!
== Specifying sets == The simplest way to describe a set is to list its elements between curly braces (known as defining a set ''extensionally''). Thus {{math|{{mset|1, 2}}}} denotes the set whose only elements are {{val|1}} and {{val|2}}. (See [[axiom of pairing]].) Note the following points: *The order of elements is immaterial; for example, {{math|1={{mset|1, 2}} = {{mset|2, 1}}}}. *Repetition ([[multiplicity (mathematics)|multiplicity]]) of elements is irrelevant; for example, {{math|1={{mset|1, 2, 2}} = {{mset|1, 1, 1, 2}} = {{mset|1, 2}}}}. (These are consequences of the definition of equality in the previous section.) This notation can be informally abused by saying something like {{math|{{mset|dogs}}}} to indicate the set of all dogs, but this example would usually be read by mathematicians as "the set containing the single element ''dogs''". An extreme (but correct) example of this notation is {{math|{{mset}}}}, which denotes the empty set. The notation {{math|{{mset|''x'' : ''P''(''x'')}}}}, or sometimes {{math|{{mset|''x'' |''P''(''x'')}}}}, is used to denote the set containing all objects for which the condition {{mvar|P}} holds (known as defining a set ''intensionally''). For example, {{math|{{mset|''x'' | ''x'' β '''R'''}}}} denotes the set of [[real number]]s, {{math|{{mset|''x'' | ''x'' has blonde hair}}}} denotes the set of everything with blonde hair. This notation is called [[set-builder notation]] (or "'''set comprehension'''", particularly in the context of [[Functional programming]]). Some variants of set builder notation are: *{{math|{{mset|''x'' β ''A'' | ''P''(''x'')}}}} denotes the set of all {{mvar|x}} that are already members of {{mvar|A}} such that the condition {{mvar|P}} holds for {{mvar|x}}. For example, if {{math|'''Z'''}} is the set of [[integer]]s, then {{math|{{mset|''x'' β '''Z''' | ''x'' is even}}}} is the set of all [[even and odd numbers|even]] integers. (See [[axiom of specification]].) *{{math|{{mset|''F''(''x'') | ''x'' β ''A''}}}} denotes the set of all objects obtained by putting members of the set {{mvar|A}} into the formula {{mvar|F}}. For example, {{math|{{mset|2''x'' | ''x'' β '''Z'''}}}} is again the set of all even integers. (See [[axiom of replacement]].) *{{math|{{mset|''F''(''x'') | ''P''(''x'')}}}} is the most general form of set builder notation. For example, {{math|{{mset|''x''′s owner | ''x'' is a dog}}}} is the set of all dog owners.
Edit summary
(Briefly describe your changes)
By publishing changes, you agree to the
Terms of Use
, and you irrevocably agree to release your contribution under the
CC BY-SA 4.0 License
and the
GFDL
. You agree that a hyperlink or URL is sufficient attribution under the Creative Commons license.
Cancel
Editing help
(opens in new window)