funktiojoukolla
Funktiojoukko tarkoittaa kokoelmaa funktioita, joilla on sama määrittelyjoukko A ja sama arvojoukko B. Toisin sanoen kaikki funktiot A → B muodostavat funktiojoukon. Kun halutaan korostaa kokoelmaa, käytetään yleensä kirjoitusta B^A.
Notation ja perusidea: Jos A ja B ovat joukkoja, B^A tarkoittaa kaikkien A:sta B:hen olevien funktioiden joukkoa.
Esimerkkejä: A = {1,2,3}, B = {0,1}. Tällöin B^A sisältää 2^3 = 8 funktiota. C([0,1], R) on esimerkki funktiojoukosta:
Ominaisuudet ja rakenteet: Jos B on vektoriavaruus, ja F on alijoukko B^A, voidaan F:ää katsoa vektoriavaruudena,
Käyttökonteksti: Funktiojoukkoja käytetään laajalti matematiikassa ja teoreettisessa tietojenkäsityksessä sekä evaluaatiossa ja rakenteiden tutkimuksessa, joissa tarkastellaan funktioiden