Rasyonel sayılar genelde şöyle tanımlanır:
(a ve b tam sayı ve sıfır olmamak üzere a/b şeklindeki sayılara Rasyonel sayı denir)
ve
veya
eşdeğer Rasyonel sayılardır. Dolayısıyla her Rasyonel sayı sonsuz şekilde ifade edilebilir. Rasyonel sayıların en basit formu
ve
tamsayılarının ortak böleninin olmadığı
ifadesidir. Her tam sayı Rasyonel sayıdır. Çünkü
veya
veya
şeklinde yani Rasyonel sayı tanımına uygun biçimde yazılabilirler.Rasyonel sayılar kümesi
, tam sayılar kümesi
'yi kapsar. Yani
.Daha ince bir tanımı ise tam sayılar üzerinden tanımlanacak bir denklik bağıntısıyla yapılabilir. Böylece her denklik sınıfı bir Rasyonel sayı olarak anılır.
kümesinden seçilmiş keyfî (a,b) ve (c,d) öğeleri için "~" bağıntısı
olarak tanımlansın. Bunun bir denklik bağıntısı olduğu kolaylıkla kanıtlanabilir. Bu durumda, denklik sınıfları
olurlar. Rasyonel sayı ise basitçe
şeklinde tanımlanır.Tanımda paydanın sıfır olmama şartı
ifadesinin tanımlanmamış olmasındandır. Bir sayının sıfıra bölümü tanımsızdır.Sıfırdan büyük olan rasyonel sayılara pozitif rasyonel sayılar, sıfırdan küçük rasyonel sayılar da negatif rasyonel sayılar denir.Pozitif rasyonel sayılar kümesi
ile gösterilir. Negatif rasyonel sayılar kümesi
ile gösterilir.
- Örneğin
Dörde bölünüp, dörtte biri kesilip alınmış ve geri kalan dörtte üçü gösterilen bir yuvarlak pasta
Yandaki şekilde,bir bütün yuvarlak pasta 4 eş parçaya bölünmüş ve bu 4 eş parçalardan her birisi
olarak görülmektedir. Ancak bir parça alınmış olduğundan kalan eksikdir. Geriye kalan, dört eşit parçaya bölünmüş bütünün üç tane parçası (yani 3de 4 oranı) veya (kesiri)dir. Bu
ifadesi şeklinde gösterilir. Burada ifadede kesir çizgisinin üstündeki değere (yani 3e) pay, kesir çizgisinin altındaki değere (yani 4’e) payda denir. Bu kesir, “üç bölü dört” ya da “dörtte üç” diye okunur.
Rasyonel sayıların cebirsel özellikleri [düzenle]
olmak üzere:
Rasyonel sayıların eşitliği [düzenle]
İki rasyonel sayının eşitliği, o sayıların pay ve paydalarının rasyonel olmasıyla anlaşılır.
olmak üzere
ve
iki rasyonel sayı ise bu iki sayı ancak
olduğunda eşittir.
Bu koşul, yukarıdaki tanımdan çıkarsanabilir. İki rasyonel sayı aynı denklik sınıfındaysa birbirine eşittir, Denklik bağıntısı da zaten
koşulunu içermekteydi.
Rasyonel Sayıları Karşılaştırma (büyüklük ,küçüklük) [düzenle]
Payları eşit olan rasyonel sayılar [düzenle]
Paydaları eşit olan rasyonel oranlar icin payı büyük olan daha büyük, payı küçük olan daha küçüktür.
- Örneğin

Burada paydalar eşit ve 20dir. Pay değerleri karşılaştırılınca soldaki pay 7 sagdaki pay 3 den daha büyük oldugu için, soldaki rasyonel oran daha büyüktür.
Unutmamalıdır ki negatif paylar karşılaştırılırken sadece mutlak değerlerin karşılaştırılması hatalı olup negatif işaretlerinin de ele alınması ve negatif sayılı pay değerlerde mutlak değeri büyük görünen sayının daha küçük olduğu hatırlanmalıdır:
Payda 20ye eşit olup sağda ki negatif pay değeri -3, sağdaki negatif pay değeri olan -7den daha büyük olduğu için sağdaki oran daha büyüktür.