Definisi 1

Jika

a dan

bilangan-bilangan bulat,

jika dan hanya jika ada bilangan bulat positif c

kurang dari

b (dinyatakan dengan

a<b )

sedemikian sehingga a+ c=b .

Definisi 2
Jika

a dan

bilangan-bilangan bulat,

lebih

dan hanya jika b> a atau ada bilangan bulat positif c

b (dinyatakan dengan

a>b ) jika

sedemikian sehingga b+ c=a .

Urutan bilangan bulat ini akan tampak jelas pada garis bilangan di bawah ini:
-5

-4

-3

-2

-1

Pada garis bilangan, situasi

a<b ditunjukkan oleh titik yang menyatakan

sebelah kiri dari titik yang menyatakan

b . Misalkan

bilangan itu bahwa titik yang menyatakan

berada di

(4 )<(1) , terlihat pada garis

(4 ) berada di sebelah kiri dari titik yang

menyatakan (1) .
Pada bilangan bulat, berlaku sifat trikotomi sehingga dua bilangan bulat adalah sama, atau
bilangan yang pertama kurang dari bilangan yang kedua, atau bilangan yang pertama lebih dari
yang kedua, tidak ada dua hal dari tiga kemungkinan dapat berlaku bersama-sama. Seringkali
sifat trikotomi bilangan bulat ini dinyatakan dalam bentuk yang lain, yaitu bahwa himpunan
bilangan bulat mempunyai tiga bagian (partisi) yang merupakan himpunan yang satu sama lain
saling asing (lepas). Partisi-partisi itu adalah himpunan bilang bulat positif, {0}, dan himpunan
bilangan bulat negatif sedemikian sehingga setiap bilangan bulat adalah anggota dari satu dan
hanya satu di antara tiga partisi itu.
Relasi lebih dari pada bilangan-bilang bulat pada bilangan-bilang bulat berlaku sifat-sifat
irrefleksi, asimetris, dan transitif
Teorema 1

Jika a ,

dan

bilangan-bilangan bulat, maka

a<b

jika dan hanya jika

a+ c<b +c .

Bukti:
(i) Akan ditunjukkan jika a<b

maka a+ c<b +c

Ambil bilangan bulat a, b, dan c.

Menurut Definisi 1, jika a<b
Jika a ,

dan

maka

+ a+ k=b

k Z

anggota himpunan bilangan bulat

a+ c=b+c

( a+ k )+ c=b+ c
a+ ( k +c )=b+ c

(sifat assosiatif penjumlahan bilangan bulat)

a+ ( c+ k )=b+ c

(sifat komutatif penjumlahan bilangan bulat)

( a+c ) + k=b+ c

(sifat assosiatif penjumlahan bilangan bulat)

a+ c<b +c

(definisi 1)

(ii)Akan ditunjukkan jika a+ c<b +c

maka a<b

Menurut Definisi 1, jika a+ c<b +c

maka

+ ( a+ c )+ p=b+ c
p Z

( a+ c ) + p=b+c
a+ ( c+ p ) =b+c

(sifat assosiatif penjumlahan bilangan bulat)

a+ ( p+ c ) =b+c

(sifat komutatif penjumlahan bilangan bulat)

( a+ p ) +c =b+c

(sifat assosiatif penjumlahan bilangan bulat)

dan

a=b

maka

Jika a ,

dan

anggota himpunan bilangan bulat

dan

a=b

maka

a+ c=b+c

( ( a+ p )+ c ) + (c )= ( b+c ) + (c )
( a+ p ) + ( c+ (c ) )=b+ ( c + (c ) )

(sifat assosiatif penjumlahan bilangan bulat)

( a+ p ) +0=b+ 0

(invers penjumlahan)

a+ p=b

(identitas penjumlahan)

a<b

(definisi 1)

Dari (i) dan (ii) terbukti bahwa a<b

jika dan hanya jika a+ c<b +c .

Teorema 2
a

Jika

dan

bilangan bulat dan

bilangan bulat positif serta

a<b

maka

a c<b c .

Bukti:
Akan ditunjukkan jika a<b

maka a c<b c

Ambil bilangan bulat a dan b. Dan ambil bilangan bulat positif.

Menurut Definisi 1, jika a<b

+ a+ k=b

maka
k Z

a+ k=b
Jika

a ,

a c=b c .

( a+ k ) c=b c

dan

anggota himpunan bilangan bulat

dan

a=b maka

a,b

Jika

dan

anggota

himpunan

bilangan

bulat

maka

( a+b ) c=( a c )+ ( b c ) .
( a c ) + ( k c )=b c
a c<b c

(Definisi 1)

Konvers dari Teorema 2 juga bernilai benar, seperti yang dijelaskan pada Teorema 3.
Teorema 3
a

Jika

dan

bilangan bulat dan

bilangan bulat positif serta

a c<b c

maka

a=b

maka

maka

a<b .

Bukti:
Akan ditunjukkan jika a c<b c

maka a<b

Ambil bilangan bulat a dan b serta bilangan bulat positif c.

Diberikan a c<b c
Jika a ,

dan

anggota himpunan bilangan bulat

dan

a+ c=b+c

( a c ) + (( b c ) )< ( b c ) + (( b c ) )

( a c ) + (( b c ) )< 0
Jika

a,b

(Invers penjumlahan)

dan

( a+b ) c=( a c )+ ( b c )

( a+ (b ) ) c< 0
a+ (b ) < 0

anggota

himpunan

bilangan

bulat

Jika a ,

dan

anggota himpunan bilangan bulat

dan

a=b

maka

a+ c=b+c

( a+ (b ) )+ b<0+ b
a+ ( (b )+ b ) <0+ b

(Sifat assosiatif penjumlahan)

a+0< 0+b

(Invers penjumlahan)

a<b

(Identitas penjumlahan)

Teorema 4
Jika a , b dan c

bilangan-bilangan bulat, a<b

dan b< c maka a< c .

Bukti
Akan ditunjukkan jika a<b

dan b< c maka a< c

Ambil bilangan bulat a, b, dan c.

Diberikan a<b

b< c

dan

Jika

a<b maka

+ a+ d=b

d Z

Jika

b< c

+ b+ e=c

eZ

Jika a ,

maka
b

dan

anggota himpunan bilangan bulat

a+ c=b+c

( a+d ) + e=b+e

( a+ d ) + e=c
a+ ( d+ e )=c

(Sifat assosiatif penjumlahan)

dan

a=b

maka

a< c

(Definisi 1)

Teorema 4 dikenal dengan sifat transitif dari relasi kurang dari.

Teorema 5
Jika a ,

b ,

c , dan

bilangan-bilangan bulat,

a<b

dan

c <d

maka

a+ c<b +d .

Bukti:
Akan ditunjukkan jika a<b

dan c <d

maka a+ c<b +d

Ambil bilangan bulat a , b , c ,dan d .

Jika

a<b maka

+ a+ e=b
e Z

... (1)

Jika

c <d maka

+ c + f =d
f Z

... (2)

(1) + (2)

( a+ e ) + ( c + f )=b+ d

( a+ e ) + ( f + c )=b+ d

(Sifat komutatif penjumlahan)

a+ ( e+ f ) +c=b+ d

(Sifat assosiatif penjumlahan)

( a+ c ) + ( e + f )=b+ d

(Sifat komutatif dan assosiatif penjumlahan)

a+ c<b +d

(Definisi 1)

Teorema 6
Jika a , b , c

Bukti:

dan d

bilangan bulat, 0 a<b dan 0 c< d

maka a c<b d .

Akan ditunjukkan jika 0 a<b dan 0 c< d

maka a c<b d

Ambil bilangan bulat a , b , c ,dan d .

a

adalah bilangan bulat tak negatif yang kurang dari

sehingga

+ a+ e=b
e Z

...

adalah bilangan bulat tak negatif yang kurang dari

sehingga

+ c + f =d

f Z

...

(3)
c

(4)
(3) (4)

( a+ e ) ( c + f )=b d
Jika

a,b

dan

anggota

himpunan

bilangan

bulat

maka

a<b

maka

( a+b ) c=( a c )+ ( b c )

( a ( c+ f ) ) + ( e ( c + f ) )=b d

( ( a c )+ ( a f )) + ( ( e c )+ ( e f ) )=b d
( a c ) + ( ( a f )+ ( e c ) + ( e f ) )=b d

(Sifat assosiatif penjumlahan)

Teorema 7
a

Jika

dan

bilangan bulan dan

bilangan bulat negatif serta

a c>b c .

Bukti:
Akan ditunjukkan jika a<b

maka a c>b c

Ambil bilangan bulat a dan b serta bilangan bulat negatif c.

Jika a<b

+ a+ k=b
k Z

maka

a+ k=b

Jika

a , b dan

anggota himpunan bilangan bulat

dan

a=b , maka

a c=b c

( a+ k ) c=b c
Jika

a , b dan

Jika

anggota

himpunan

bilangan

bulat

maka

dan

a=b

maka

( a+b ) c=( a c )+(b c)

( a c ) + ( k c )=b c
Jika a ,

dan

anggota himpunan bilangan bulat

a+ c=b+c

( k c )

b c
( ( a c )+ ( k c ) ) +

( k c ) + (( k c ) )=( b c )+ ( ( k c ) )
( a c ) +

(Sifat assosiatif penjumlahan)

( a c ) +0=( b c )+ ( ( k c ) )

(Invers penjumlahan)

( a c ) =( b c ) + (( k c ) )

(Identitas penjumlahan)

( a c ) >(b c )

(Definisi 1)