ve
iki küme olsun ve
olsun.
'nın her elemanını
'nin bu
elemanına götüren fonksiyona sabit fonksiyon adı verilir.
değerini alan sabit fonksiyonu
olarak gösterirsek, o zaman
fonksiyonu, her
için
kuralıyla tanımlanır. Not:
ve
kümelerinin önemini ortaya çıkarmak istiyorsak,
yerine
yazmak gerekebilir. Bu fonksiyona "sabit
fonksiyonu" adı verilir.
Bileşke mümkün olduğunda
'dir. Ama
'dir.
Eğer
ya da
'nin tek bir elemanı varsa, o zaman
'dan
'bcvbcvbcvbye giden her fonksiyon sabit olmak zorundadır.