Bir bütünü oluşturan parçaların hepsinin tek tek incelenmesi ile genel bir sonuca varılması, tam; parçaların bir kısmına dayanılarak o bütün hakkında ..

Kıyas, en az iki öncülden yeni bir sonuç çıkarmak üzere yapılan tümdengelime dayalı akıl yürütmedir.

İki öncül ve bir sonuçtan oluşan çıkarımlara basit kıyas denir.

İki önermenin karşılıklı koşul eklemi olan "ancak ve ancak ⇔" ile bağlanmasıyla oluşan bileşik önermeye "iki yönlü koşullu önerme" denir...

Gerçek (reel) sayılar kümesinde çarpma işleminin: kapalılık, değişme, birleşme, etkisiz eleman, ters eleman, yutan eleman ve dağılma özellikleri vardı..

K ve L kümeleri için, yalnız K kümesinde yer alan elemanlara K fark L kümesi denir.

EBOB ve EKOK ile ilgili birtakım özellikler vardır. Örneğin, iki sayının çarpımı, bu sayıların EBOB ve EKOK'larının çarpımına; aralarında asal sayılar..

1 birim çapında bir çember, sayı doğrusu üzerinde bir tur döndürüldüğünde çemberin çevresi kadar yani π sayısı kadar yol alır.