Αντιστοιχία G μεταξύ συνόλων ΕΝΑΚαι ΣΕονομάζεται υποσύνολο. Αν , τότε το λένε σι

αντιστοιχεί ΕΝΑ.Το σύνολο όλων των αντίστοιχων στοιχείων

Που ονομάζεται τρόποςστοιχείο α. Καλείται το σύνολο όλων στο οποίο αντιστοιχεί το στοιχείο

πρωτότυποστοιχείο σι.

Πολλά ζευγάρια (β, α)τέτοια που ονομάζεται αντίστροφη

προς σολκαι ορίζεται . Οι έννοιες της εικόνας και του πρωτοτύπου για

«G και είναι αμοιβαία αντίστροφα.

Παραδείγματα. 1) Ας το αντιστοιχίσουμε με έναν φυσικό αριθμό Π

σύνολο πραγματικών αριθμών . Εικόνα του αριθμού 5

θα υπάρξει μισό διάστημα

(αυτό σημαίνει τον μεγαλύτερο ακέραιο, μικρότερο ή ίσο με Χ). Η αντίστροφη εικόνα του αριθμού 5 σε αυτήν την αντιστοιχία είναι ένα άπειρο σύνολο: μισό διάστημα)