f, X'den Y'ye bir fonksiyon ise o zaman f : X → Y yazılır ve x'e bağlanan Y'deki tek eleman f(x) olarak gösterilir. Bu elemana x'in f altındaki değeri ya da f'in bir değeri denir. X kümesine f'in tanım kümesi, Y'ye ise f'nin değer kümesi denir.
Özet
- Bir küme, iyi-tanımlı nesneler topluluğudur.
- Boş kümenin hiç elemanı yoktur.
- Sonlu bir kümenin kardinalitesi kümenin eleman sayısıdır.
- Y'nin her elemanı X'de ise Y kümesi X'in bir alt kümesidir.
- X'in bir Y alt kümesi X'e eşit değilse bir öz alt kümesidir.
- X ve Y'nin birleşimi, X'de ya da Y'deki elemanların topluluğudur.
- X ve Y'nin arakesiti, X'de ve Y'deki elemanların topluluğudur.
- X ve Y'nin çarpımı, x ∈ X ve y ∈ Y olmak üzere tüm (x,y) ikililerinin kümesidir.
- Bir fonksiyon, bir kümenin elemanlarını bir diğerine atar.