A boştan farklı bir küme olmak üzere f:A-->A şeklinde tanımlanan bütün bire-bir ve örten fonksiyonların kümesi [kapalı]

Question

A boştan farklı bir küme olmak üzere f:A-->A şeklinde tanımlanan bütün bire-bir ve örten fonksiyonların kümesi G={f1,f2,f3,..,fn,..} olsun. o iki fonksiyonun bileşke işlemi olmak üzere (G,o) cebirsel yapısının grup olduğunu gösterin.