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); $\mathbb A$ ve $\mathbb B$ iki küme olsun. $\mathbb F$ , $A\times B$ kartezyen çarpımının ,
her $x\in \mathbb A$ için ,$(x,y)\in\mathbb F$ ilişkisini sağlayan bir ve biricik $y\in \mathbb B$ elemanı vardır
bu durumda $\mathbb A$ ya tanım kümesi $\mathbb B$ ye değer kümesi denir.
ve
$f:\mathbb A \longrightarrow \mathbb B,f:x\mapsto y=(f(x))$ olarak gösterilir.
Görüldüğü üzre,$x\in \mathbb 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\in \mathbb 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 $\forall x\in \mathbb R$ için sağlanır.