Tanım(denklem);Denklem, iki niceliğin eşitliğini gösteren bağıntıdır. Araya (=) işareti konularak ifade edilir. Denklemlerde eşitlik değişkenin belirli değerleri için sağlanır. Değişkenlerin her değeri için geçerli olan eşitliklere özdeşlik denir.
Tanım(fonksiyon); A ve B iki küme olsun. F , A×B kartezyen çarpımının ,
her x∈A için ,(x,y)∈F ilişkisini sağlayan bir ve biricik y∈B elemanı vardır
bu durumda A ya tanım kümesi B ye değer kümesi denir.
ve
f:A⟶B,f:x↦y=(f(x)) olarak gösterilir.
Görüldüğü üzre,x∈R için x=x fonksiyon değil çünki fonksiyon için gerekli değer kümesine sahip değildir ,söz konusu bile değildir.Fonksiyon olması için gereken basitçe "bir şeylerden başka şeylere tanımlanma" özeliğini taşımaz.
x∈R denildiğinden x=x'in çözüm kümesi yoktur. y=x olsaydı x=0 bir çözüm olurdu ama x=x için bir kök arayamayız ,zaten de bulamayız. x=x özdeşliktir ve aksi belirtilmediği sürece ∀x∈R için sağlanır.