μη κενά, πεπερασμένα σύνολα με
και μια συνάρτηση 
Να αποδειχθεί ότι
η
είναι
αν και μόνο αν είναι επί.Συντονιστής: nsmavrogiannis
μη κενά, πεπερασμένα σύνολα με
και μια συνάρτηση 
είναι
αν και μόνο αν είναι επί.
και
δυο πεπερασμένα σύνολα με 
μια 1-1 απεικόνιση .Για να δείξω ότι είναι επί αρκεί 
άρα
.Ακόμη
και
άρα
και συνεπώς f είναι επί
είναι επί τότε
από τη στιγμή που τα
,
έχoυν
διακεκριμένα στοιχεία τότε το
που βρίσκουμε θα είναι και μοναδικό άρα f 1-1
Έστω ότι είναι
αλλά όχι επί. Τότε
άτοπο.
Η
δεν είναι επί και
.
Έστω ότι είναι επί αλλά όχι
. Τότε
άτοπο.
H
είναι επί,
Η
δεν είναι
και
.Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 4 επισκέπτες