Exams
Test Series
Previous Year Papers
JEE Main Previous Year Question Paper JEE Advanced Previous Year Papers NEET Previous Year Question Paper CUET Previous Year Papers COMEDK UGET Previous Year Papers UP Polytechnic Previous Year Papers AP POLYCET Previous Year Papers TS POLYCET Previous Year Papers KEAM Previous Year Papers MHT CET Previous Year Papers WB JEE Previous Year Papers GUJCET Previous Year Papers ICAR AIEEA Previous Year Papers CUET PG Previous Year Papers JCECE Previous Year Papers Karnataka PGCET Previous Year Papers NEST Previous Year Papers KCET Previous Year Papers LPUNEST Previous Year Papers AMUEEE Previous Year Papers IISER IAT Previous Year Papers Bihar Diploma DECE-LE Previous Year Papers NPAT Previous Year Papers JMI Entrance Exam Previous Year Papers PGDBA Exam Previous Year Papers AP ECET Previous Year Papers PU CET Previous Year Papers GPAT Previous Year Papers CEED Previous Year Papers AIAPGET Previous Year Papers JKCET Previous Year Papers HPCET Previous Year Papers CG PAT Previous Year Papers SRMJEEE Previous Year Papers BCECE Previous Year Papers AGRICET Previous Year Papers TS PGECET Previous Year Papers MP PAT Previous Year Papers IIT JAM Previous Year Papers CMC Vellore Previous Year Papers ACET Previous Year Papers TS EAMCET Previous Year Papers NATA Previous Year Papers AIIMS MBBS Previous Year Papers BITSAT Previous Year Papers JEXPO Previous Year Papers HITSEEE Previous Year Papers AP EAPCET Previous Year Papers UCEED Previous Year Papers CG PET Previous Year Papers OUAT Previous Year Papers VITEEE Previous Year Papers
Syllabus
JEE Main Syllabus JEE Advanced Syllabus NEET Syllabus CUET Syllabus COMEDK UGET Syllabus UP Polytechnic JEECUP Syllabus AP POLYCET Syllabus TS POLYCET Syllabus KEAM Syllabus MHT CET Syllabus WB JEE Syllabus OJEE Syllabus ICAR AIEEA Syllabus CUET PG Syllabus NID Syllabus JCECE Syllabus Karnataka PGCET Syllabus NEST Syllabus KCET Syllabus UPESEAT EXAM Syllabus LPUNEST Syllabus PUBDET Syllabus AMUEEE Syllabus IISER IAT Syllabus NPAT Syllabus JIPMER Syllabus JMI Entrance Exam Syllabus AAU VET Syllabus PGDBA Exam Syllabus AP ECET Syllabus GCET Syllabus CEPT Syllabus PU CET Syllabus GPAT Syllabus CEED Syllabus AIAPGET Syllabus JKCET Syllabus HPCET Syllabus CG PAT Syllabus BCECE Syllabus AGRICET Syllabus TS PGECET Syllabus BEEE Syllabus MP PAT Syllabus MCAER PG CET Syllabus VITMEE Syllabus IIT JAM Syllabus CMC Vellore Syllabus AIMA UGAT Syllabus AIEED Syllabus ACET Syllabus TS EAMCET Syllabus PGIMER Exam Syllabus NATA Syllabus AFMC Syllabus AIIMS MBBS Syllabus BITSAT Syllabus BVP CET Syllabus JEXPO Syllabus HITSEEE Syllabus AP EAPCET Syllabus GITAM GAT Syllabus UPCATET Syllabus UCEED Syllabus CG PET Syllabus OUAT Syllabus IEMJEE Syllabus VITEEE Syllabus SEED Syllabus MU OET Syllabus
Books
Cut Off
JEE Main Cut Off JEE Advanced Cut Off NEET Cut Off CUET Cut Off COMEDK UGET Cut Off UP Polytechnic JEECUP Cut Off AP POLYCET Cut Off TNEA Cut Off TS POLYCET Cut Off KEAM Cut Off MHT CET Cut Off WB JEE Cut Off ICAR AIEEA Cut Off CUET PG Cut Off NID Cut Off JCECE Cut Off Karnataka PGCET Cut Off NEST Cut Off KCET Cut Off UPESEAT EXAM Cut Off AMUEEE Cut Off IISER IAT Cut Off Bihar Diploma DECE-LE Cut Off JIPMER Cut Off JMI Entrance Exam Cut Off PGDBA Exam Cut Off AP ECET Cut Off GCET Cut Off CEPT Cut Off PU CET Cut Off CEED Cut Off AIAPGET Cut Off JKCET Cut Off HPCET Cut Off CG PAT Cut Off SRMJEEE Cut Off TS PGECET Cut Off BEEE Cut Off MP PAT Cut Off VITMEE Cut Off IIT JAM Cut Off CMC Vellore Cut Off ACET Cut Off TS EAMCET Cut Off PGIMER Exam Cut Off NATA Cut Off AFMC Cut Off AIIMS MBBS Cut Off BITSAT Cut Off BVP CET Cut Off JEXPO Cut Off HITSEEE Cut Off AP EAPCET Cut Off GITAM GAT Cut Off UCEED Cut Off CG PET Cut Off OUAT Cut Off VITEEE Cut Off MU OET Cut Off
Latest Updates
Eligibility
JEE Main Eligibility JEE Advanced Eligibility NEET Eligibility CUET Eligibility COMEDK UGET Eligibility UP Polytechnic JEECUP Eligibility TNEA Eligibility TS POLYCET Eligibility KEAM Eligibility MHT CET Eligibility WB JEE Eligibility OJEE Eligibility ICAR AIEEA Eligibility CUET PG Eligibility NID Eligibility JCECE Eligibility Karnataka PGCET Eligibility NEST Eligibility KCET Eligibility LPUNEST Eligibility PUBDET Eligibility AMUEEE Eligibility IISER IAT Eligibility Bihar Diploma DECE-LE Eligibility NPAT Eligibility JIPMER Eligibility JMI Entrance Exam Eligibility AAU VET Eligibility PGDBA Exam Eligibility AP ECET Eligibility GCET Eligibility CEPT Eligibility PU CET Eligibility GPAT Eligibility CEED Eligibility AIAPGET Eligibility JKCET Eligibility HPCET Eligibility CG PAT Eligibility SRMJEEE Eligibility BCECE Eligibility AGRICET Eligibility TS PGECET Eligibility MP PAT Eligibility MCAER PG CET Eligibility VITMEE Eligibility IIT JAM Eligibility CMC Vellore Eligibility AIMA UGAT Eligibility AIEED Eligibility ACET Eligibility PGIMER Exam Eligibility CENTAC Eligibility NATA Eligibility AFMC Eligibility AIIMS MBBS Eligibility BITSAT Eligibility JEXPO Eligibility HITSEEE Eligibility AP EAPCET Eligibility GITAM GAT Eligibility UPCATET Eligibility UCEED Eligibility CG PET Eligibility OUAT Eligibility IEMJEE Eligibility SEED Eligibility MU OET Eligibility

Well Ordering Principle: Definition, Proof, Applications & Examples

Last Updated on Jul 04, 2025
Download As PDF
IMPORTANT LINKS

The well-ordering principle is a basic idea in mathematics that says every non-empty set of natural numbers has a smallest number. In simple terms, if you have a group of whole numbers and at least one number is in it, then there will always be one number that is the smallest among them. This rule is very useful and is used in many areas of math, like number theory and algebra. It helps prove other ideas and is one of the key tools for solving problems that involve counting or arranging numbers in order.

In this maths blog, we'll explore what the well-ordering principle is, why it's important, and how it's used in mathematics.

Maths Notes Free PDFs

Topic PDF Link
Class 12 Maths Important Topics Free Notes PDF Download PDF
Class 10, 11 Mathematics Study Notes Download PDF
Most Asked Maths Questions in Exams Download PDF
Increasing and Decreasing Function in Maths Download PDF

Definition and Explanation of the Well-Ordering Principle

The well-ordering principle is a simple idea in mathematics. It says that if you have a set of positive whole numbers and the set is not empty, then there is always one number in that set which is the smallest. In other words, no matter how many numbers are in the set, you can always find the least number.

For example, take the set {1, 2, 3, 4, ...}. This set has many numbers, but 1 is the smallest. So, it follows the well-ordering principle. Another example is the set of positive even numbers {2, 4, 6, 8, ...}. Here, 2 is the smallest number, and all the other numbers are greater than 2. So, this set also follows the well-ordering principle.

This principle is helpful in proving many other ideas in mathematics. It gives us a way to start with the smallest number and move forward in a logical and organized way.

UGC NET/SET Course Online by SuperTeachers: Complete Study Material, Live Classes & More

Get UGC NET/SET SuperCoaching @ just

₹25999 ₹11666

Your Total Savings ₹14333
Explore SuperCoaching

Applications of the Well-Ordering Principle

The well-ordering principle is used in many different areas of mathematics. For example, it is used in number theory to prove theorems about prime numbers. The well-ordering principle can also be used to prove the existence of mathematical objects, such as solutions to equations or certain types of functions.

One example of the well-ordering principle in action is the proof of the fundamental theorem of arithmetic. This theorem states that every positive integer can be expressed uniquely as a product of primes. To prove this theorem, we start by assuming that there exists a positive integer that cannot be expressed as a product of primes. Using the well-ordering principle, we can show that this assumption leads to a contradiction, which means that our assumption must be false and the fundamental theorem of arithmetic must be true.

Proof of the Well-Ordering Principle

The formal statement of the Well-Ordering Principle is as follows:

: Every non-empty subset S of the set of positive integers contains a least element. That is, there exists an element such that for all .

Proof: Let S be a non-empty subset of . We will prove the Well-Ordering Principle by contradiction. Suppose that S does not have a least element, that is, for any , there exists an such that .

Now, consider the set . Intuitively, T is the set of all positive integers k such that the set of elements in S that are less than k is non-empty.

Since S is non-empty, there exists some m\in S. Therefore, is empty, which implies that T.

Now, suppose that . Then, by definition of T, there exists some such that m<k. Since S does not have a least element, there must exist some such that . Then, n<k, and so contains an element less than k. Therefore, is non-empty, which implies that T.

Thus, we have shown that , and if , then . By the Principle of Mathematical Induction, it follows that .

Now, for each , define to be the least element of the set . Since S does not have a least element, we have <n for all . Therefore, the sequence is a decreasing sequence of positive integers.

But this contradicts the fact that every decreasing sequence of positive integers must have a lower bound. Specifically, since S for all n, the set S contains an infinite decreasing sequence of positive integers, which contradicts the fact that is well-ordered.

Therefore, our initial assumption that S does not have a least element must be false, and so the Well-Ordering Principle holds.

Test Series
133.2k Students
NCERT XI-XII Physics Foundation Pack Mock Test
323 TOTAL TESTS | 3 Free Tests
  • 3 Live Test
  • 163 Class XI Chapter Tests
  • 157 Class XII Chapter Tests

Get Started

Well-Ordering Principle vs. Axiom of Choice

The well-ordering principle is closely related to another principle in mathematics, known as the axiom of choice. Both principles deal with the concept of choosing elements from sets. However, the axiom of choice is a stronger principle than the well-ordering principle.

The axiom of choice states that given any collection of non-empty sets, there exists a way to choose one element from each set. This principle is often used in modern mathematics to prove the existence of certain objects or to construct mathematical models.

The well-ordering principle can be thought of as a weaker version of the axiom of choice. In fact, the well-ordering principle can be used to prove the axiom of choice! However, the converse is not true: the axiom of choice cannot be used to prove the well.

Well Ordering Principle Solved Examples

Example 1: Prove that every positive integer can be written as the sum of distinct powers of 2.

Solution:

We will prove this using the well‑ordering principle. Let us assume the opposite of what we want to prove. Let S be the set of positive integers that cannot be written as the sum of distinct powers of 2. Suppose S is non‑empty. Then, by the well‑ordering principle, S must have a smallest element, say n.

Now, n cannot be a power of 2, because powers of 2 (like 1, 2, 4, 8, …) can be written as themselves and are clearly sums of distinct powers of 2 (just one power). So n must be greater than some power of 2. Let’s choose the largest power of 2 less than or equal to n, say 2^k, and let k = n − 2^k, so that k < n.

By the choice of n as the smallest number in S, k is not in S, which means k can be written as the sum of distinct powers of 2. Since n = 2^k + k, we’ve expressed n as the sum of distinct powers of 2, which contradicts the assumption that n is in S.

Therefore, our assumption was wrong. The set S must be empty.

Hence, every positive integer can be written as the sum of distinct powers of 2.

Example 2: Prove that every non-empty set of positive integers has a smallest element.

Solution:
This statement is the well-ordering principle itself, so we usually accept it as a basic rule or axiom in mathematics. However, let us show a simple contradiction if we assume the opposite.

Suppose there is a non-empty set S of positive integers that does not have a smallest element. Pick any number n in S. Now look at all the elements in S that are less than or equal to n. Since these are only a finite number of elements, the set formed is finite and non-empty. Every finite non-empty set of positive integers must have a smallest element. Let that smallest number be k.

Now, k is a positive integer in S that is less than or equal to n, but we assumed that S has no smallest element. That’s a contradiction.

So our assumption must be false.
Therefore, every non-empty set of positive integers has a smallest element.

Example 3: Prove that there are infinitely many prime numbers.
Solution:
We will prove this using the well-ordering principle and contradiction.
Suppose there are only finitely many prime numbers. Let them be p₁, p₂, ..., pₙ. Let N be the product of all these primes:
N = p₁ × p₂ × ⋯ × pₙ

Now, consider the set S of all positive integers greater than 1 that are not divisible by any of these primes. Clearly, 1 is not divisible by any prime, but since we're considering numbers greater than 1, we need to find such a number in S.

If S is non-empty, then by the well-ordering principle, it must have a smallest element, say k.
Now, k is greater than 1 and is not divisible by any of the known primes. This means that k must be a new prime (because otherwise it would have a prime factor among p₁, ..., pₙ, which is not allowed by definition of S).

But we already assumed that p₁, ..., pₙ are all the primes. This contradicts the fact that k is a new prime.

So our assumption that there are only finitely many primes must be false.
Therefore, there are infinitely many prime numbers.

We hope that the above article is helpful for your understanding and exam preparations. Stay tuned to the Testbook App for more updates on related topics from Mathematics and various such subjects. Also, reach out to the test series available to examine your knowledge regarding several exams.

Maths Notes Free PDFs

Topic PDF Link
Class 12 Maths Important Topics Free Notes PDF Download PDF
Class 10, 11 Mathematics Study Notes Download PDF
Most Asked Maths Questions in Exams Download PDF
Increasing and Decreasing Function in Maths Download PDF

More Articles for Maths

FAQs For Well ordering principle

The well-ordering principle is a fundamental concept in mathematics that states that every non-empty set of positive integers contains a smallest element. In other words, given any set of positive integers, there is always a smallest element in that set.

An example of a well-ordered set is the set of non-negative integers {0, 1, 2, 3, ...} with the usual ordering (i.e., 0

The well-ordering property of the set of natural numbers, denoted by N, states that every non-empty subset of N has a least element. In other words, for any subset S of N, there exists an element n in S such that n is less than or equal to all other elements of S.

The well-ordering principle is an axiom or postulate of set theory, not a theorem. It states that every non-empty set can be well-ordered, which means that there exists a total order on the set such that every non-empty subset of the set has a least element.

Yes, the empty set is well-ordered. A set X is well-ordered if every non-empty subset of X has a least element. Now, the empty set has no non-empty subsets. Therefore, vacuously, every non-empty subset of the empty set has a least element (since there are no non-empty subsets), and hence the empty set satisfies the definition of a well-ordering.

It is a fundamental concept used in proofs, especially mathematical induction, and helps in solving problems involving minimum elements.

No, but they are closely related. The Well-Ordering Principle can be used to prove mathematical induction and vice versa.

No, it mainly applies to the set of positive integers. It does not always hold true for sets of real numbers or negative numbers.

Order just means arranging numbers from smallest to largest. The Well-Ordering Principle specifically states that every non-empty set of positive integers has a least element.

The principle has been used for centuries, but it was formalized in modern set theory by mathematicians like Richard Dedekind and others.

Report An Error