Ένα σύνολο X ονομάζεται υποσύνολο ενός συνόλου Y και συμβολίζουμε με

, εάν κάθε στοιχείο του X είναι και στοιχείο (ανήκει) του Y δηλαδή ισχύει:
για καθε x(x ε Χ -> x ε Y)
Παραδείγματα:
το σύνολο όλων των ανδρών είναι υποσύνολο του συνόλου όλων των ανθρώπων
{1,3}

{1,2,3,4}
{1,2,3,4}

{1,2,3,4}
Αναφέρουμε ότι: το κενό σύνολο (συμβολιζεται με ενα κυκλο και μια διαγωνιο επι αυτου) είναι υποσύνολο κάθε συνόλου και επίσης κάθε σύνολο Α είναι υποσύνολο του εαυτού του.
(κενο)

Α για κάθε σύνολο Α
Α

Α για κάθε σύνολο Α
Αν το σύνολο Χ είναι υποσύνολο του Υ αλλά Χ

Υ, δηλαδή αν υπάρχει τουλάχιστον ένα στοιχείο του Υ το οποίο να μην ανήκει στο Χ, τότε λέμε ότι το σύνολο Χ είναι γνήσιο υποσύνολο του Υ και το συμβολίζουμε με