fonksiyon olabilmesi için iyi tanımlı olması gerekir. yani tanım kümesinden aldıği herhangi iki eleman için mesela x,y
x=y iken f(x)=f(y) şartını sağlıyorsa fonksiyon iyi tanımlı olur. bunun ispatı da x=y yi doğru kabul edilmesiyle başlar kolaydır.Ayrıca bu işlemin tersi birebirliği verir.