
Στα μαθηματικά, μια συνάρτηση είναι ένα μαθηματικό αντικείμενο που παράγει μια έξοδο, όταν του δίνεται μια είσοδος - μπορεί να είναι ένας αριθμός, ένα διάνυσμα ή οτιδήποτε μπορεί να υπάρχει μέσα σε ένα σύνολο πραγμάτων.
Έτσι, μια συνάρτηση είναι σαν μια μηχανή, η οποία λαμβάνει τιμές x και επιστρέφει μια έξοδο y. Το σύνολο όλων των τιμών που μπορεί να έχει το x ονομάζεται πεδίο εφαρμογής. Το σύνολο που περιέχει κάθε τιμή που μπορεί να έχει το y ονομάζεται codomain.
Αν συμβαίνει αυτό, λέμε ότι το y είναι συνάρτηση του x και γράφουμε y =f(x). f είναι το όνομα της συνάρτησης και γράφουμε f : X → Y {\displaystyle f:X\to Y} (συνάρτηση από το X στο Y) για να αναπαραστήσει τα τρία μέρη της συνάρτησης: το πεδίο (x), το συν-πεδίο (y) και τη διαδικασία αντιστοίχισης (το βέλος).
Ένα παράδειγμα συνάρτησης είναι η f(x)=x+1. Δίνει κανείς έναν φυσικό αριθμό x {\displaystyle x} (0,1,2,3...) ως είσοδο και παίρνει έναν φυσικό αριθμό y {\displaystyle y}
, ο οποίος είναι x {\displaystyle x}
+1 (1,2,3,4...) Η ιδέα μιας συνάρτησης έχει δημιουργηθεί για να καλύψει όλα τα είδη των δυνατοτήτων. Η συνάρτηση δεν χρειάζεται να είναι εξίσωση. Η βασική ιδέα είναι ότι οι είσοδοι και οι έξοδοι αντιστοιχίζονται με κάποιο τρόπο, ακόμη και αν η διαδικασία είναι πολύ περίπλοκη.

