Bir fonksiyonun tanım kümesindeki her elemanın değer kümesinde yalnızca bir görüntüsü olması gerektiğini ifade eden kurala ne denir?