SlideShare a Scribd company logo
1 of 5
Download to read offline
Well-Ordering Principle
Dr. Yassir Dinar
Spring 2020
Dr. Yassir Dinar ell-Ordering Principle Spring 2020 1 / 5
Well-Ordering Principle (WOP)
Well-Ordering Principle (WOP).
Every nonempty set of integers whose elements are greater than some real
number, has a smallest element. Thus, if S be a subset of Z satisfies
1 S = ∅
2 (∃m ∈ R)(∀t ∈ S)(m < t)
Then (∃M ∈ S)(∀t ∈ S)(M ≤ t).
Example 3.1
Which of the following sets of integers has a smallest element
1 The set of all prime numbers greater than 8.
2 The set of positive real numbers.
Solution.
1 It has a smallest element by WOP.
2 It has no smallest element.
Dr. Yassir Dinar ell-Ordering Principle Spring 2020 2 / 5
Examples WOP (with Direct Proof)
WOP for N.
Every nonempty subset of N has a smallest element.
Example 3.2
Let a and b be nonzero integers. Then there is a smallest positive linear
combination of a and b.
Solution.
Let a and b be nonzero integers. Let S be the set of all positive linear
combination on a and b. By definition elements of S are greater than 0.
Also S = ∅ since if a > 0, then a = a(1) + b(0) ∈ S and if a < 0, then
−a = a(−1) + b(0) ∈ S. By the WOP, the set S has a smallest element r.
Then, by definition, r is the smallest positive linear combination of a and
b.
Dr. Yassir Dinar ell-Ordering Principle Spring 2020 3 / 5
Examples WOP (with Proof by Contradiction)
Example 3.3
Every natural number greater than 1 is prime or is a product of primes.
Solution.
Assume there is a natural number greater than 1 which is not prime and is
not a product of primes. Then the set T of such numbers is not empty.
By WOP, T contains a smallest number m. Since m is not prime then m
is a composite. Thus m = sr for some natural numbers 1 < s < m and
1 < r < m. By the choice of m, r and s are not in T. Hence each of s
and r either is prime or is a product of primes. Thus m = sr is a product
of primes, a contradiction. Therefore, every natural number greater than 1
is prime or is a product of primes.
Dr. Yassir Dinar ell-Ordering Principle Spring 2020 4 / 5
Examples WOP (With Direct Proof)
Theorem 3.4 (The Division Algorithm)
For all integers a and b with a > 0, there exist unique integers q and r
such that b = aq + r and 0 ≤ r < a.
Solution.
Existence:Let S = {b − ak : k ∈ Z and b − ak ≥ 0}. If b ≥ 0, then
b − (0)a ∈ S and if b < 0, then b − 2ba = b(1 − 2a) ∈ S. Thus
S = ∅. Hence, by WOP, there is a smallest element r ∈ S. Then
there exits integer q such that r = b − aq. Thus b = aq + r.
Verify conditions: By assumptions r ≥ 0. Suppose a ≤ r. Then
0 ≤ r − a = b − a(q + 1) ≤ r. Hence r − a ∈ S and r is not the
smallest element in S, a contradiction. Hence r < a.
Uniqueness:Assume b = aq1 + r1 = aq2 + r2 for some integers
q1, q2, r1, r2 with 0 ≤ r1, r2 < a. Assume r1 ≤ r2.Then
r2 − r1 = a(q1 − q2) and a|(r2 − r1). Since 0 ≤ r2 − r1 < a,
r2 − r1 = 0. But then q1 − q2 = 0. Thus r1 = r2 and q1 = q2.
Dr. Yassir Dinar ell-Ordering Principle Spring 2020 5 / 5

More Related Content

What's hot

Formal Logic - Lesson 4 - Tautology, Contradiction and Contingency
Formal Logic - Lesson 4 - Tautology, Contradiction and ContingencyFormal Logic - Lesson 4 - Tautology, Contradiction and Contingency
Formal Logic - Lesson 4 - Tautology, Contradiction and ContingencyLaguna State Polytechnic University
 
Functions in discrete mathematics
Functions in discrete mathematicsFunctions in discrete mathematics
Functions in discrete mathematicsRachana Pathak
 
REAL ANALYSIS -UNIT I Basic Concepts.pptx
REAL ANALYSIS -UNIT I Basic Concepts.pptxREAL ANALYSIS -UNIT I Basic Concepts.pptx
REAL ANALYSIS -UNIT I Basic Concepts.pptxrenugakannan1
 
CMSC 56 | Lecture 12: Recursive Definition & Algorithms, and Program Correctness
CMSC 56 | Lecture 12: Recursive Definition & Algorithms, and Program CorrectnessCMSC 56 | Lecture 12: Recursive Definition & Algorithms, and Program Correctness
CMSC 56 | Lecture 12: Recursive Definition & Algorithms, and Program Correctnessallyn joy calcaben
 
Power series convergence ,taylor & laurent's theorem
Power series  convergence ,taylor & laurent's theoremPower series  convergence ,taylor & laurent's theorem
Power series convergence ,taylor & laurent's theoremPARIKH HARSHIL
 
CMSC 56 | Lecture 16: Equivalence of Relations & Partial Ordering
CMSC 56 | Lecture 16: Equivalence of Relations & Partial OrderingCMSC 56 | Lecture 16: Equivalence of Relations & Partial Ordering
CMSC 56 | Lecture 16: Equivalence of Relations & Partial Orderingallyn joy calcaben
 
Poset in Relations(Discrete Mathematics)
Poset in Relations(Discrete Mathematics)Poset in Relations(Discrete Mathematics)
Poset in Relations(Discrete Mathematics)Rachana Pathak
 
Cardinality of a set
Cardinality of a setCardinality of a set
Cardinality of a setmyla gambalan
 
Propositional logic
Propositional logicPropositional logic
Propositional logicMamta Pandey
 
Abstract algebra & its applications (1)
Abstract algebra & its applications (1)Abstract algebra & its applications (1)
Abstract algebra & its applications (1)drselvarani
 
Chapter 2: Relations
Chapter 2: RelationsChapter 2: Relations
Chapter 2: Relationsnszakir
 
Axiom of Choice
Axiom of Choice Axiom of Choice
Axiom of Choice gizemk
 
Infinite series 8.3
Infinite series 8.3 Infinite series 8.3
Infinite series 8.3 Mohsin Ramay
 
Group abstract algebra
Group  abstract algebraGroup  abstract algebra
Group abstract algebraNaliniSPatil
 

What's hot (20)

Number Theory - Lesson 1 - Introduction to Number Theory
Number Theory - Lesson 1 - Introduction to Number TheoryNumber Theory - Lesson 1 - Introduction to Number Theory
Number Theory - Lesson 1 - Introduction to Number Theory
 
Formal Logic - Lesson 4 - Tautology, Contradiction and Contingency
Formal Logic - Lesson 4 - Tautology, Contradiction and ContingencyFormal Logic - Lesson 4 - Tautology, Contradiction and Contingency
Formal Logic - Lesson 4 - Tautology, Contradiction and Contingency
 
Sets, functions and groups
Sets, functions and groupsSets, functions and groups
Sets, functions and groups
 
Functions in discrete mathematics
Functions in discrete mathematicsFunctions in discrete mathematics
Functions in discrete mathematics
 
REAL ANALYSIS -UNIT I Basic Concepts.pptx
REAL ANALYSIS -UNIT I Basic Concepts.pptxREAL ANALYSIS -UNIT I Basic Concepts.pptx
REAL ANALYSIS -UNIT I Basic Concepts.pptx
 
CMSC 56 | Lecture 12: Recursive Definition & Algorithms, and Program Correctness
CMSC 56 | Lecture 12: Recursive Definition & Algorithms, and Program CorrectnessCMSC 56 | Lecture 12: Recursive Definition & Algorithms, and Program Correctness
CMSC 56 | Lecture 12: Recursive Definition & Algorithms, and Program Correctness
 
Power series convergence ,taylor & laurent's theorem
Power series  convergence ,taylor & laurent's theoremPower series  convergence ,taylor & laurent's theorem
Power series convergence ,taylor & laurent's theorem
 
CMSC 56 | Lecture 16: Equivalence of Relations & Partial Ordering
CMSC 56 | Lecture 16: Equivalence of Relations & Partial OrderingCMSC 56 | Lecture 16: Equivalence of Relations & Partial Ordering
CMSC 56 | Lecture 16: Equivalence of Relations & Partial Ordering
 
Poset in Relations(Discrete Mathematics)
Poset in Relations(Discrete Mathematics)Poset in Relations(Discrete Mathematics)
Poset in Relations(Discrete Mathematics)
 
Algebraic Structure
Algebraic StructureAlgebraic Structure
Algebraic Structure
 
Cardinality of a set
Cardinality of a setCardinality of a set
Cardinality of a set
 
Propositional logic
Propositional logicPropositional logic
Propositional logic
 
Abstract algebra & its applications (1)
Abstract algebra & its applications (1)Abstract algebra & its applications (1)
Abstract algebra & its applications (1)
 
Relations in Discrete Math
Relations in Discrete MathRelations in Discrete Math
Relations in Discrete Math
 
Chapter 2: Relations
Chapter 2: RelationsChapter 2: Relations
Chapter 2: Relations
 
Axiom of Choice
Axiom of Choice Axiom of Choice
Axiom of Choice
 
Infinite series 8.3
Infinite series 8.3 Infinite series 8.3
Infinite series 8.3
 
Sets and relations
Sets and relationsSets and relations
Sets and relations
 
Abstract Algebra
Abstract AlgebraAbstract Algebra
Abstract Algebra
 
Group abstract algebra
Group  abstract algebraGroup  abstract algebra
Group abstract algebra
 

Similar to Well-Ordering Principle

Similar to Well-Ordering Principle (20)

Abstract Algebra Beamer Lesson1
Abstract Algebra Beamer Lesson1Abstract Algebra Beamer Lesson1
Abstract Algebra Beamer Lesson1
 
Sol80
Sol80Sol80
Sol80
 
Sol80
Sol80Sol80
Sol80
 
Solutions Manual for An Introduction To Abstract Algebra With Notes To The Fu...
Solutions Manual for An Introduction To Abstract Algebra With Notes To The Fu...Solutions Manual for An Introduction To Abstract Algebra With Notes To The Fu...
Solutions Manual for An Introduction To Abstract Algebra With Notes To The Fu...
 
holbert-supermfld
holbert-supermfldholbert-supermfld
holbert-supermfld
 
Construction of BIBD’s Using Quadratic Residues
Construction of BIBD’s Using Quadratic ResiduesConstruction of BIBD’s Using Quadratic Residues
Construction of BIBD’s Using Quadratic Residues
 
Modeling with Recurrence Relations
Modeling with Recurrence RelationsModeling with Recurrence Relations
Modeling with Recurrence Relations
 
annals-v181-n1-p06-p
annals-v181-n1-p06-pannals-v181-n1-p06-p
annals-v181-n1-p06-p
 
Discrete probability
Discrete probabilityDiscrete probability
Discrete probability
 
Ideals and factor rings
Ideals and factor ringsIdeals and factor rings
Ideals and factor rings
 
Unit i
Unit iUnit i
Unit i
 
Ch08
Ch08Ch08
Ch08
 
Analysis Solutions CIII
Analysis Solutions CIIIAnalysis Solutions CIII
Analysis Solutions CIII
 
Number theory
Number theoryNumber theory
Number theory
 
NODDEA2012_VANKOVA
NODDEA2012_VANKOVANODDEA2012_VANKOVA
NODDEA2012_VANKOVA
 
Per4 induction
Per4 inductionPer4 induction
Per4 induction
 
04
0404
04
 
On The Zeros of Certain Class of Polynomials
On The Zeros of Certain Class of PolynomialsOn The Zeros of Certain Class of Polynomials
On The Zeros of Certain Class of Polynomials
 
Population genetics and the hardy just answers
Population genetics and the hardy just answersPopulation genetics and the hardy just answers
Population genetics and the hardy just answers
 
Sequence and Series
Sequence and SeriesSequence and Series
Sequence and Series
 

Recently uploaded

SOLUBLE PATTERN RECOGNITION RECEPTORS.pptx
SOLUBLE PATTERN RECOGNITION RECEPTORS.pptxSOLUBLE PATTERN RECOGNITION RECEPTORS.pptx
SOLUBLE PATTERN RECOGNITION RECEPTORS.pptxkessiyaTpeter
 
Bentham & Hooker's Classification. along with the merits and demerits of the ...
Bentham & Hooker's Classification. along with the merits and demerits of the ...Bentham & Hooker's Classification. along with the merits and demerits of the ...
Bentham & Hooker's Classification. along with the merits and demerits of the ...Nistarini College, Purulia (W.B) India
 
Grafana in space: Monitoring Japan's SLIM moon lander in real time
Grafana in space: Monitoring Japan's SLIM moon lander  in real timeGrafana in space: Monitoring Japan's SLIM moon lander  in real time
Grafana in space: Monitoring Japan's SLIM moon lander in real timeSatoshi NAKAHIRA
 
Unlocking the Potential: Deep dive into ocean of Ceramic Magnets.pptx
Unlocking  the Potential: Deep dive into ocean of Ceramic Magnets.pptxUnlocking  the Potential: Deep dive into ocean of Ceramic Magnets.pptx
Unlocking the Potential: Deep dive into ocean of Ceramic Magnets.pptxanandsmhk
 
The Black hole shadow in Modified Gravity
The Black hole shadow in Modified GravityThe Black hole shadow in Modified Gravity
The Black hole shadow in Modified GravitySubhadipsau21168
 
Animal Communication- Auditory and Visual.pptx
Animal Communication- Auditory and Visual.pptxAnimal Communication- Auditory and Visual.pptx
Animal Communication- Auditory and Visual.pptxUmerFayaz5
 
GFP in rDNA Technology (Biotechnology).pptx
GFP in rDNA Technology (Biotechnology).pptxGFP in rDNA Technology (Biotechnology).pptx
GFP in rDNA Technology (Biotechnology).pptxAleenaTreesaSaji
 
Orientation, design and principles of polyhouse
Orientation, design and principles of polyhouseOrientation, design and principles of polyhouse
Orientation, design and principles of polyhousejana861314
 
Artificial Intelligence In Microbiology by Dr. Prince C P
Artificial Intelligence In Microbiology by Dr. Prince C PArtificial Intelligence In Microbiology by Dr. Prince C P
Artificial Intelligence In Microbiology by Dr. Prince C PPRINCE C P
 
Hubble Asteroid Hunter III. Physical properties of newly found asteroids
Hubble Asteroid Hunter III. Physical properties of newly found asteroidsHubble Asteroid Hunter III. Physical properties of newly found asteroids
Hubble Asteroid Hunter III. Physical properties of newly found asteroidsSérgio Sacani
 
Natural Polymer Based Nanomaterials
Natural Polymer Based NanomaterialsNatural Polymer Based Nanomaterials
Natural Polymer Based NanomaterialsAArockiyaNisha
 
STERILITY TESTING OF PHARMACEUTICALS ppt by DR.C.P.PRINCE
STERILITY TESTING OF PHARMACEUTICALS ppt by DR.C.P.PRINCESTERILITY TESTING OF PHARMACEUTICALS ppt by DR.C.P.PRINCE
STERILITY TESTING OF PHARMACEUTICALS ppt by DR.C.P.PRINCEPRINCE C P
 
Boyles law module in the grade 10 science
Boyles law module in the grade 10 scienceBoyles law module in the grade 10 science
Boyles law module in the grade 10 sciencefloriejanemacaya1
 
Behavioral Disorder: Schizophrenia & it's Case Study.pdf
Behavioral Disorder: Schizophrenia & it's Case Study.pdfBehavioral Disorder: Schizophrenia & it's Case Study.pdf
Behavioral Disorder: Schizophrenia & it's Case Study.pdfSELF-EXPLANATORY
 
Analytical Profile of Coleus Forskohlii | Forskolin .pdf
Analytical Profile of Coleus Forskohlii | Forskolin .pdfAnalytical Profile of Coleus Forskohlii | Forskolin .pdf
Analytical Profile of Coleus Forskohlii | Forskolin .pdfSwapnil Therkar
 
Luciferase in rDNA technology (biotechnology).pptx
Luciferase in rDNA technology (biotechnology).pptxLuciferase in rDNA technology (biotechnology).pptx
Luciferase in rDNA technology (biotechnology).pptxAleenaTreesaSaji
 
Genomic DNA And Complementary DNA Libraries construction.
Genomic DNA And Complementary DNA Libraries construction.Genomic DNA And Complementary DNA Libraries construction.
Genomic DNA And Complementary DNA Libraries construction.k64182334
 
zoogeography of pakistan.pptx fauna of Pakistan
zoogeography of pakistan.pptx fauna of Pakistanzoogeography of pakistan.pptx fauna of Pakistan
zoogeography of pakistan.pptx fauna of Pakistanzohaibmir069
 
All-domain Anomaly Resolution Office U.S. Department of Defense (U) Case: “Eg...
All-domain Anomaly Resolution Office U.S. Department of Defense (U) Case: “Eg...All-domain Anomaly Resolution Office U.S. Department of Defense (U) Case: “Eg...
All-domain Anomaly Resolution Office U.S. Department of Defense (U) Case: “Eg...Sérgio Sacani
 

Recently uploaded (20)

SOLUBLE PATTERN RECOGNITION RECEPTORS.pptx
SOLUBLE PATTERN RECOGNITION RECEPTORS.pptxSOLUBLE PATTERN RECOGNITION RECEPTORS.pptx
SOLUBLE PATTERN RECOGNITION RECEPTORS.pptx
 
Bentham & Hooker's Classification. along with the merits and demerits of the ...
Bentham & Hooker's Classification. along with the merits and demerits of the ...Bentham & Hooker's Classification. along with the merits and demerits of the ...
Bentham & Hooker's Classification. along with the merits and demerits of the ...
 
The Philosophy of Science
The Philosophy of ScienceThe Philosophy of Science
The Philosophy of Science
 
Grafana in space: Monitoring Japan's SLIM moon lander in real time
Grafana in space: Monitoring Japan's SLIM moon lander  in real timeGrafana in space: Monitoring Japan's SLIM moon lander  in real time
Grafana in space: Monitoring Japan's SLIM moon lander in real time
 
Unlocking the Potential: Deep dive into ocean of Ceramic Magnets.pptx
Unlocking  the Potential: Deep dive into ocean of Ceramic Magnets.pptxUnlocking  the Potential: Deep dive into ocean of Ceramic Magnets.pptx
Unlocking the Potential: Deep dive into ocean of Ceramic Magnets.pptx
 
The Black hole shadow in Modified Gravity
The Black hole shadow in Modified GravityThe Black hole shadow in Modified Gravity
The Black hole shadow in Modified Gravity
 
Animal Communication- Auditory and Visual.pptx
Animal Communication- Auditory and Visual.pptxAnimal Communication- Auditory and Visual.pptx
Animal Communication- Auditory and Visual.pptx
 
GFP in rDNA Technology (Biotechnology).pptx
GFP in rDNA Technology (Biotechnology).pptxGFP in rDNA Technology (Biotechnology).pptx
GFP in rDNA Technology (Biotechnology).pptx
 
Orientation, design and principles of polyhouse
Orientation, design and principles of polyhouseOrientation, design and principles of polyhouse
Orientation, design and principles of polyhouse
 
Artificial Intelligence In Microbiology by Dr. Prince C P
Artificial Intelligence In Microbiology by Dr. Prince C PArtificial Intelligence In Microbiology by Dr. Prince C P
Artificial Intelligence In Microbiology by Dr. Prince C P
 
Hubble Asteroid Hunter III. Physical properties of newly found asteroids
Hubble Asteroid Hunter III. Physical properties of newly found asteroidsHubble Asteroid Hunter III. Physical properties of newly found asteroids
Hubble Asteroid Hunter III. Physical properties of newly found asteroids
 
Natural Polymer Based Nanomaterials
Natural Polymer Based NanomaterialsNatural Polymer Based Nanomaterials
Natural Polymer Based Nanomaterials
 
STERILITY TESTING OF PHARMACEUTICALS ppt by DR.C.P.PRINCE
STERILITY TESTING OF PHARMACEUTICALS ppt by DR.C.P.PRINCESTERILITY TESTING OF PHARMACEUTICALS ppt by DR.C.P.PRINCE
STERILITY TESTING OF PHARMACEUTICALS ppt by DR.C.P.PRINCE
 
Boyles law module in the grade 10 science
Boyles law module in the grade 10 scienceBoyles law module in the grade 10 science
Boyles law module in the grade 10 science
 
Behavioral Disorder: Schizophrenia & it's Case Study.pdf
Behavioral Disorder: Schizophrenia & it's Case Study.pdfBehavioral Disorder: Schizophrenia & it's Case Study.pdf
Behavioral Disorder: Schizophrenia & it's Case Study.pdf
 
Analytical Profile of Coleus Forskohlii | Forskolin .pdf
Analytical Profile of Coleus Forskohlii | Forskolin .pdfAnalytical Profile of Coleus Forskohlii | Forskolin .pdf
Analytical Profile of Coleus Forskohlii | Forskolin .pdf
 
Luciferase in rDNA technology (biotechnology).pptx
Luciferase in rDNA technology (biotechnology).pptxLuciferase in rDNA technology (biotechnology).pptx
Luciferase in rDNA technology (biotechnology).pptx
 
Genomic DNA And Complementary DNA Libraries construction.
Genomic DNA And Complementary DNA Libraries construction.Genomic DNA And Complementary DNA Libraries construction.
Genomic DNA And Complementary DNA Libraries construction.
 
zoogeography of pakistan.pptx fauna of Pakistan
zoogeography of pakistan.pptx fauna of Pakistanzoogeography of pakistan.pptx fauna of Pakistan
zoogeography of pakistan.pptx fauna of Pakistan
 
All-domain Anomaly Resolution Office U.S. Department of Defense (U) Case: “Eg...
All-domain Anomaly Resolution Office U.S. Department of Defense (U) Case: “Eg...All-domain Anomaly Resolution Office U.S. Department of Defense (U) Case: “Eg...
All-domain Anomaly Resolution Office U.S. Department of Defense (U) Case: “Eg...
 

Well-Ordering Principle

  • 1. Well-Ordering Principle Dr. Yassir Dinar Spring 2020 Dr. Yassir Dinar ell-Ordering Principle Spring 2020 1 / 5
  • 2. Well-Ordering Principle (WOP) Well-Ordering Principle (WOP). Every nonempty set of integers whose elements are greater than some real number, has a smallest element. Thus, if S be a subset of Z satisfies 1 S = ∅ 2 (∃m ∈ R)(∀t ∈ S)(m < t) Then (∃M ∈ S)(∀t ∈ S)(M ≤ t). Example 3.1 Which of the following sets of integers has a smallest element 1 The set of all prime numbers greater than 8. 2 The set of positive real numbers. Solution. 1 It has a smallest element by WOP. 2 It has no smallest element. Dr. Yassir Dinar ell-Ordering Principle Spring 2020 2 / 5
  • 3. Examples WOP (with Direct Proof) WOP for N. Every nonempty subset of N has a smallest element. Example 3.2 Let a and b be nonzero integers. Then there is a smallest positive linear combination of a and b. Solution. Let a and b be nonzero integers. Let S be the set of all positive linear combination on a and b. By definition elements of S are greater than 0. Also S = ∅ since if a > 0, then a = a(1) + b(0) ∈ S and if a < 0, then −a = a(−1) + b(0) ∈ S. By the WOP, the set S has a smallest element r. Then, by definition, r is the smallest positive linear combination of a and b. Dr. Yassir Dinar ell-Ordering Principle Spring 2020 3 / 5
  • 4. Examples WOP (with Proof by Contradiction) Example 3.3 Every natural number greater than 1 is prime or is a product of primes. Solution. Assume there is a natural number greater than 1 which is not prime and is not a product of primes. Then the set T of such numbers is not empty. By WOP, T contains a smallest number m. Since m is not prime then m is a composite. Thus m = sr for some natural numbers 1 < s < m and 1 < r < m. By the choice of m, r and s are not in T. Hence each of s and r either is prime or is a product of primes. Thus m = sr is a product of primes, a contradiction. Therefore, every natural number greater than 1 is prime or is a product of primes. Dr. Yassir Dinar ell-Ordering Principle Spring 2020 4 / 5
  • 5. Examples WOP (With Direct Proof) Theorem 3.4 (The Division Algorithm) For all integers a and b with a > 0, there exist unique integers q and r such that b = aq + r and 0 ≤ r < a. Solution. Existence:Let S = {b − ak : k ∈ Z and b − ak ≥ 0}. If b ≥ 0, then b − (0)a ∈ S and if b < 0, then b − 2ba = b(1 − 2a) ∈ S. Thus S = ∅. Hence, by WOP, there is a smallest element r ∈ S. Then there exits integer q such that r = b − aq. Thus b = aq + r. Verify conditions: By assumptions r ≥ 0. Suppose a ≤ r. Then 0 ≤ r − a = b − a(q + 1) ≤ r. Hence r − a ∈ S and r is not the smallest element in S, a contradiction. Hence r < a. Uniqueness:Assume b = aq1 + r1 = aq2 + r2 for some integers q1, q2, r1, r2 with 0 ≤ r1, r2 < a. Assume r1 ≤ r2.Then r2 − r1 = a(q1 − q2) and a|(r2 − r1). Since 0 ≤ r2 − r1 < a, r2 − r1 = 0. But then q1 − q2 = 0. Thus r1 = r2 and q1 = q2. Dr. Yassir Dinar ell-Ordering Principle Spring 2020 5 / 5