We deal with different objects in math such as numbers, functions（函数）, operators（算子）, and so on. It is important to indicate what kinds of objects we are dealing with before starting our study. Therefore, set plays a fundamental role in math. With different sets, we might have very different results for the same problem. For example, a quadratic equation（二次方程） with and has no root（根） in （实数） , but two different roots in （虚数）.
Here we only discuss naive set theory, which is presumed and used in most branches of mathematics. There is a much more strict set theory, which involves a lot of mathematical logic. Because of the reason we mentioned above, it has become the foundation of every other part of mathematics.
Set is one of basis conceptions（概念）, which other definitions (定义) depend on. There is no strict (mathematical) way to define what is called a set. It is as if we have to define 1+1=2 and some other laws to define addition（加法）. One could also choose to define 1+2=3 firstly, but anyway, there needs to be a initial conception. Roughly speaking （大概地说）, a set is a collection of objects （一些目标对象在一起的整体/汇合） we are interested in, which has specific properties.
1. Terminology and Notation 术语和记号
We call parts of a set elements (元素). We normally use letters in upper case （大写字母） to represent sets (collection) and letters in lower case （小写字母） to represent elements. To say is a part of , the following ways can be used:
 is a member of ;
 is an element of ;
 is contained in ;
 is included in ;
 contains ;
 includes .
We write it as or . If is not a member of , we can write it as . For example, .
We can describe a set in several ways:
 Specifying members. For example .
 Characterizing （描述元素特征） members. For example .
In a set, we ignore repetition （重复）and arrangement （顺序）. For example, . When we count the number of elements of a set, no matter how many times an element appears, it is only counted once. Therefore, the above set has 3 elements.
An empty set （空集）is a set which contains no element. We use to represent such a set.
Two sets, , are said being the same if and only if each element of is a member of and each member of is a member of . This is the commonest way to prove that two sets are the same.
2. Set relationship and set operations 集合之间的关系以及集合运算
We say is a subset of (or is a superset of ) if any member of is also a member of . We denote （表示）it by or .
If, additionally, there is a member of which is not a member of , then we call a proper subset of (or is a proper superset of ). We denote it by or . For example, .
Remark: and are like and between real numbers, which make us be able to compare different sets. But not all pairs of sets can be compared in this sense. For example, . We will discuss more about this later in the ‘ordering’ section.
A power set （幂集）of , denoted by , is the set of all subsets of . For example, . It is obvious that the power set of a elements set has elements.
Given two sets , we call the union （并集）of , denoted by , if contains and only contains elements from either or , i.e. .
We call the intersection （交集）of , denoted by , if contains and only contains elements from both and , i.e. .
Given two sets , we define the compliment of A with respect to B（A在B里的补集） as the set which contains all of the elements that are in B but not in A. We write it as or , namely（即）, .
Remark: Since we have not indicated the whole space, could be a tremendously huge set.
Since we already used letters in the upper case to represent sets, we choose Fraktur font to avoid confusion when we write a family (collection) of sets, i.e. a set of sets. For example, are three sets. . ( is A in the Fraktur font.) For example,
.
Theorem 1:

The last two formulas are also called the De Morgan’s laws.
Reviewed by Rachel Reed and Karthick Alagarsamy.
8 comments
Comments feed for this article
March 9, 2011 at 10:48 PM
Xu Dongwei
THX!
March 10, 2011 at 11:44 PM
bigelephant
I will help you improve.
March 18, 2011 at 2:04 AM
Vane
学长，这个太犀利了吧……
March 18, 2011 at 2:06 AM
wxlug
you mean the math or english?
March 30, 2011 at 9:31 PM
Yankun Gong
#1, Line3, should be “before starting”.
#2, at the very beginning of paragraph 3, I think you mean “Set is one of the most basic conceptions, on which other terminologies are defined”. Just my opinion.
#3, Line3, paragraph3, you mean “other laws”?
#4, still Paragraph3, line 4, change to “there needs to be an”?
#5, continue paragraph3, the 2nd line from the end, “which has”?
4 mistakes in just one paragraph? give me a break!
March 30, 2011 at 9:39 PM
wxlug
Corrected, thanks! And the break is over~
March 30, 2011 at 9:58 PM
Yankun Gong
Continuing
#1, ” we call parts of a set as elements”, delete “as”?
#2, change to “which we can describe in the following ways”?
#3, “two sets, A and B are said to be the same” to ” are said being the same”?
#4, “this is the commonest way BLABLABLA” to “This is the commonest way to prove that two sets A and B are same ” or “two sets A and B being the same”? Maybe you are right here.
#5, “we denote it by”, or “we express it as”
#6, “it is obvious to see that” to “it is obvious that” or “it is easy to see that”?
#7, “namely” is not the best word to use here.
#8, “since we already used letters in the upper case”? and “we we write the family (collection) of sets”?
#9, union (并集)， and intersection (交集）your Chinese or mine?
April 1, 2011 at 1:42 PM
wxlug
Done. Thanks.