Fungsi merupakan suatu hubungan banyak-ke-satu atau satu-ke-satu antara unsur set yang dipanggil sebagai domain kepada unsur set yang dipanggil sebagai kodomain. Setiap unsur dalam set dipanggil sebagai 'objek' atau 'input' manakala setiap unsur di dalam set dipanggil sebagai 'imej' atau 'output'.