f ve g’yi kullanarak A kümesinin elemanlarını C kümesinin elemanlarına eşleyen fonksiyona g ile f’nin bileşke fonksiyonu denir.
(g o f) (x) = g [f(x)] tir.
Bileşke işleminin değişme özeliği yoktur. Bu durumda, fog ≠ gof dir. Bazı fonksiyonlar için fog = gof olabilir. Ancak bu “fonksiyonlarda değişme özeliği yoktur.” gerçeğini değiştirmez.
Fonksiyonlarda bileşke işleminin birleşme özeliği vardır. Bu durumda;
(fog)oh = fo(goh) = fogoh olur.
I birim fonksiyon olmak üzere, foI = Iof = f ve f−1of = fof−1 = I dır.
f, g ve h fonksiyonları bire bir ve örten olmak üzere,