When defining set, we mentioned that repetition and order are irrelevant for a set in the sense that . This somewhat tells us the existence of order for the elements of sets. In fact, for many sets we are interested in, one or more orders are assumed in the common sense so that we can compare those elements. For example, for the set , there is apparently an order called ‘less than’ (小于) which means we can ‘compare’ two elements in the manner whether one number is less than the other number or not. Similarly ‘less or equal to’ (小于等于), ‘greater than’ (大于), ‘greater or equal to’ (大于等于), and ‘equal to’ (等于) are other four orders for this set.
There is a mathematical way to define an ‘order’ for a set. This founds an important cornerstone for mathematical logic, and it is the main task of this post.
1. Ordered pair (有序对)
An ordered pair is a collection of two elements where order does matter. In other words, one can distinguish the first element from the second one. For example, if the first element is and the second element is , then we denote this ordered pair as . In this case, . We call the first element the first coordinate (第一坐标) and the second one the second coordinate (第二坐标).
We can easily generalize this concept for cases with dimensions more than two. An ordered ntuple is a collection of n elements. For example, is a 4tuple. Again, order does matter here. (There is an more formal definition of ntuple using ordered pair.)
It should not be hard for us to understand this as we are using the Cartesian Coordinate System (笛卡儿坐标系) all the time. For the xy planes, (1,2) is an ordered pair (xy coordinates) for a point, which is different from another point (2,1). The ntuple corresponds to n axes plane. It is helpful to use it as an example in this section, especially for the Cartesian Product coming next.
2. Cartesian Product (笛卡尔积)
Given two sets , we denote the (binary) Cartesian product of by , which is defined as
Here is an ordered pair. Therefore, it is easy to see that . Several more properties are as follows.
Proposition 1:

Remark 1: The second and third rules are special. They show that Cartesian Product works well with intersection, but not with union. 
Similarly, we can generalize it to high dimensional case. We define nnary Cartesian Product (n维笛卡儿积) as
where is a ntuple.
3. Binary Relation
We are going to define the relation using ordered pairs. It is natural to understand a relation as some comparison between two elements. For instance, ‘4 is greater than 3’ is a relation between 3 and 4, and ‘3 is less than 4’ is another relation between them. Notice that these two relations are viewed as absolutely the same in our natural language; but in math, especially in mathematical logic, to avoid further confusion, it is worth to distinguish them in some sense. This gives us the first motivation to develop the conception of relation.
Given two sets, for example , a (binary) relation between and is a set of ordered pairs, of which the first coordinates are from the first set, and the second coordinates are from the second set. In other words, a relation between and is a subset of . Use the previous example, let . Then the relation ‘being greater than’ between and is the set . Another relation ‘being greater or equal to’ is . One can see the importance of the ordered pair from these two examples, otherwise , but 3 is not greater or equal to 4.
If we call a relation between two sets as (from the definition, is a set), and if , we can write it as . Using the same example again, we use to denote the relation ‘being greater than’, then means is a member of this relation, i.e., 4 is greater than 3.
The main reason for us to bring up relation is to introduce ‘function’. There are more discussions about relation, for example here. We skip them and jump to the next section.
4. Function (or map, mapping) (函数或映射)
We probably have begun to learn about functions from elementary school, and most people know the definition by natural languages. However, from the discussions above, it is simple to give a definition in term of relation.
Given two sets , a function from to is a relation between and such that there are no two members of the relation having the same first coordinate. For example, . , then is a function. . is not a function.
In the above definition, the function is a set essentially (从本质上说). The sets are called the domain (定义域) and the codomain (上域) of the function , respectively. The set of all second coordinates of elements of is called the image or range (值域) of , which is a subset of the codomain of . If , then we can write is as . Several notations and special cases are as follows:
 Domain of : .
 Range of : .
 is injective (onetoone) (单射): .
 is surjective (onto) (满射): , where is the codomain.
 is bijective (一一映射或双射): is both injective and surjective.
In the above examples, we defined functions point by point. However, most functions that we deal with are given in algebraic way. For example, in is a function from to . This means if and .
Given a function from to , we can define the inverse function (反函数或逆函数) of , denoted as , to be a new function from to such that if .
Remark 2: Does any function have an inverse function? If yes, prove it; otherwise give the sufficient condition (充分条件) for a function having an inverse function. 
Remark 3: If a function has an inverse function, is the inverse function unique? If yes, prove, it; otherwise give a counterexample. 
Another similar but different conception is inverse image (原像或逆像). Given a function and a set of , the inverse image of : . Specially, .
Remark 4: If the answer to remark 2 is no, does a function have to have an inverse function for the existence of the inverse image for some subset of its range? 
Consequently, we reach the common notion for functions. One can now talk about some special functions using definitions from high school math, such as odd/even functions, piecewise functions, symmetric functions, periodic functions, and so on. Also, one can understand function operations like composition, sum, difference, product, quotient, etc.
Remark 5: There are more special functions like convex functions, continuous functions, differentiable functions, integrable functions, analytic functions, etc. We will give the definitions when we talk about them. 
5. Order
Number is one of the first objects that math studies. Since we already brought up the conception of relation, it is natural to look at different relations between number sets. A simple relation between numbers is order (in the common sense). Everyone agrees that 1 is less than 2, and 5 is greater than 3, as how we define these numbers (check here). Indeed, the common number sets we study, such as , are equipped with orders like automatically. These orders have some properties than normal relations may not have. For example, (transitivity 传递性). On the other hand, consider the relation ‘son’ from a set {Tom, James, John} to itself. The relation has two elements: (Tom, James) and (James, John). In other words, Tom is the son of James who is the son of John. However, (Tom, John) is not a member of the relation. Therefore, the order ‘son’ does not have transitivity. This example, together with other problems, motivates us to look at the special orders between number sets and generalize them.
We call a relation from a set to itself as an (binary) partial order [(二元)偏序] on if this relation satisfies (we use to denote this relation):
 Reflexivity (自反性): .
 Antisymmetry (反对称性): If and , then .
 Transitivity (传递性): If , then .
We call a set ‘partially ordered set’ (偏序集) if the set is equipped with at least one partial order.
Remark 6: Based on the definition above, is not a partial order as the reflexivity is not satisfied, but is. We use as the example most of the time to think and explain. 
It is worth noticing the word ‘partial’ in the name. It comes from the fact that, in the definition, the existence of the order is not guaranteed between any two elements. For example, on , for any two elements, we can compare them by . However, on , this is not true. (we cannot compare and .) A partial order is called a total (linear) order (全序) if additionally
Totality (完全性): .
From the previous example, we can see it is important to indicate which set the partial order is on. Also, one shall always keep an eye on whether an order is partial or total.
6. Several special elements
Next we will talk about concepts for partially order sets. These concepts are all related but different from each other. Make sure to understand the relationship and differences. Notice that in most cases, we are talking about infinite sets (sets containing infinite elements. See more here). Two good examples to help you understand are as follows:
Example 1: Consider the set which corresponds to xy plane. An element of this set is denoted by an ordered pair . We define the order as
One can verify this is a partial order on by checking those three conditions. Also, this is not a total order as the totality is not satisfied. ( cannot be compared.) For specific cases, one may consider some subsets of . 
Example 2: Consider the set 
Given a partial order on (here ‘‘ denotes an arbitrary partial order, may not be ‘less or equal than’) and , we call the maximal/minimal element (最大元／最小元) of if
.
We call the upper/lower bound (上界／下界) of if
.
Furthermore, we call the least upper bound (LUB)/greatest lower bound (GLB) (上确界／下确界) of , if is an upper/lower bound of , and an upper/lower bound of , .
Remark 7: Does maximal/minimal element always exist? Does the upper/lower bound always exist? Does LUB/GLB always exist? If not, what is a sufficient condition for the existence? How about the uniqueness? Answer the questions by proving them or giving counterexamples. 
The least upper bound property is an important property of , which is equivalent to other completeness axioms of . We will talk about this in some separated section.
28 comments
Comments feed for this article
October 27, 2011 at 11:11 PM
HAFEEZ KHAN
sir ye kasa hota hai function
October 28, 2011 at 12:56 AM
Lug
can you use English?
July 7, 2012 at 6:56 AM
this month
When I start your Feed it seems to be a lot of junk, is the problem on my part?
July 7, 2012 at 9:13 AM
how to be successful
I have got one recommendation for your site. It appears like at this time there are a number of cascading stylesheet problems when opening a selection of web pages inside google chrome and safari. It is functioning alright in internet explorer. Possibly you can double check that.
July 7, 2012 at 8:17 PM
deerfield beach sleep apnea treatment
Dude. This blog is cool. How can I make it look this good !
July 8, 2012 at 3:04 AM
continue reading
An cool post there mate . Thanks for the post !
July 8, 2012 at 1:42 PM
investigate vapor cigs
I enjoy your wordpress web template, where did you get a hold of it?
July 8, 2012 at 8:04 PM
forex rebates info
Wow! This website is amazing! How can I make it look like this .
July 9, 2012 at 9:07 AM
ibs causes
Could you message me with any hints & tips about how you made this site look like this, I would be appreciative!
July 9, 2012 at 2:39 PM
cleaning porcelain tile
When I start your Rss feed it appears to be to be a ton of garbage, is the problem on my part?
July 10, 2012 at 2:40 AM
cosmetic dentistry nyc
Great Stuff, do you currently have a youtube profile?
July 10, 2012 at 1:28 PM
wedding venues in devon
Just to let you know your website appears a little bit strange on Safari on my pc using Linux .
July 10, 2012 at 8:28 PM
the best artificial grass
How come you dont have your web site viewable in wap format? Can not see anything in my iPhone.
July 11, 2012 at 10:33 AM
st lucia all inclusive honeymoon resorts
I believe that one of your current ads triggered my web browser to resize, you may well want to put that on your blacklist.
July 11, 2012 at 8:08 PM
save on
This is a excellent weblog, could you be interested in going through an interview about just how you created it? If so email me and my friends!
July 11, 2012 at 10:50 PM
my family vacation destinations
Do youve got a spam concern on this internet site; I also am a blogger, and I was questioning your scenario; weve got created some nice methods and were looking to swap options with other people, be sure to shoot me an email if planning to pursue.
July 12, 2012 at 2:39 AM
TM
A interesting blog post there mate . Thank you for that .
July 12, 2012 at 1:56 PM
spinach recipe
Almost all of the commentary on this blog site dont make sense.
July 12, 2012 at 8:36 PM
ebook
How come you dont have your website viewable in mobile format? Can not see anything in my netbook.
July 14, 2012 at 7:22 AM
montel william loans
How did you make a site look this good. Email me if you can and share your wisdom. Id be thankful!
July 14, 2012 at 7:25 AM
quick payday loans online
An insightful post there mate ! Thank you for posting .
July 14, 2012 at 8:23 PM
intangible
I like the website layout . How do you make it. Its so nice!
July 15, 2012 at 4:59 AM
how to make friends
This website is extremely good! How can I make one like this .
July 15, 2012 at 8:25 PM
growing out gray hair
An insightful blog post right there mate . Cheers for it .
July 16, 2012 at 12:09 PM
dynowatt
Have you given any consideration at all with translating your site into French? I know a small number of translaters right here that might help you do it for no cost if you want to make contact with me personally.
July 16, 2012 at 9:12 PM
surrey web design
If you dont mind, exactly where do you host your site? I am shopping for a good quality host and your weblog appears to be fast and up all the time
July 16, 2012 at 9:23 PM
caregiver culver city
I have got one recommendation for your web page. It looks like right now there are a handful of cascading stylesheet problems when opening a selection of web pages within google chrome and opera. It is operating fine in internet explorer. Perhaps you can double check that.
March 18, 2013 at 10:46 AM
promovare web
Cele mai bune ponturiu de promovare web