Προβολή (θεωρία συνόλων)

Στην θεωρία συνόλων, ο όρος προβολή συνήθως αναφέρεται σε μία από τις εξής δύο συναρτήσεις:
 Για οποιαδήποτε  σύνολα , η συνάρτηση  για  ορίζεται ως,
,
όπου  το καρτεσιανό γινόμενο των συνόλων.
Για παράδειγμα, για τα σύνολα ,  και  
.

 Για οποιαδήποτε σχέση ισοδυναμίας  στο σύνολο , προβολή  ονομάζεται η συνάρτηση που αντιστοιχεί το κάθε στοιχείο  στην κλάση ισοδυναμίας της, δηλαδή
.

 Δείτε επίσης 
 Προβολή (γραμμική άλγεβρα)
 Σχέση ισοδυναμίας

Κατηγορία:Θεμελιώδεις έννοιες θεωρίας συνόλων