bire bir olma özelliği fonksiyonun tanım kümesi ile ilgilidir. eğer f: R -> R şeklinde tanımlıysa birebir olmaz. Eğer f: R+ -> R şeklinde tanımlı ise bire bir olur.
bu yüzden tanım kümesi - değer kümesi verilmeden bire birdir ya da değildir diye birşey söyleyemeyiz.