Ένα σύνολο είναι μια συλλογή από διακριτά αντικείμενα. Τα αντικείμενα είναι στοιχεία. Ένα σύνολο μπορεί να παρατεθεί ως εξής: {1, 2, 3}. Ή περιγράφεται ως: το σύνολο των άρτιων αριθμών. Τα σύνολα μπορούν να είναι πεπερασμένα ή άπειρα. Το κενό σύνολο, που συμβολίζεται με ∅, δεν έχει στοιχεία.

Η θεωρία συνόλων, που αναπτύχθηκε από τον Κάντορ τον δέκατο ένατο αιώνα, έγινε το θεμέλιο των σύγχρονων μαθηματικών. Οι πράξεις περιλαμβάνουν την ένωση, την τομή, τη διαφορά και το συμπλήρωμα. Τα διαγράμματα Venn απεικονίζουν αυτές τις πράξεις.

Τα σύνολα εμφανίζονται σε όλα τα μαθηματικά. Οι συναρτήσεις αντιστοιχίζουν σύνολα σε σύνολα. Η πιθανοτική θεωρία χρησιμοποιεί δειγματοληπτικούς χώρους. Η λογική χρησιμοποιεί σύνολα τιμών αλήθειας. Στην επιστήμη των υπολογιστών, τα σύνολα είναι δομές δεδομένων. Η έννοια είναι απλή αλλά θεμελιώδης για σχεδόν κάθε κλάδο των μαθηματικών.

• Συλλογή ξεχωριστών αντικειμένων
• Τα στοιχεία είναι τα αντικείμενα
• Πράξεις: ένωση, τομή, συμπλήρωμα
• Θεμέλια των σύγχρονων μαθηματικών