Ένα σύνολο X ονομάζεται υποσύνολο (subset) ενός συνόλου Y και συμβολίζουμε με , εάν κάθε στοιχείο του X είναι και στοιχείο (ανήκει) του Y δηλαδή ισχύει:

Ακόμα χρησιμοποιούμε την ορολογία: το σύνολο X περιέχεται στο σύνολο Y ή ακόμα ότι το σύνολο Y είναι υπερσύνολο του συνόλου X και γράφουμε . Μπορούμε να θεωρήσουμε το \subseteq ως τη σχέση που αποτελείται από όλα τα διατεταγμένα ζεύγη (X, Y) για τα οποία ισχύει

Παραδείγματα:

* το σύνολο όλων των ανδρών είναι υποσύνολο του συνόλου όλων των ανθρώπων

*

*

Αναφέρουμε ότι: το κενό σύνολο είναι υποσύνολο κάθε συνόλου και επίσης κάθε σύνολο Α είναι υποσύνολο του εαυτού του.

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

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

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

Για παράδειγμα το σύνολο των φυσικών αριθμών είναι γνήσιο υποσύνολο αυτού των ακεραίων, το σύνολο τον ακεραίων γνήσιο υποσύνολο αυτού των ρητών και το σύνολο των ρητών γνήσιο υποσύνολο των πραγματικών.

.

Μαθηματικά

Από τη ελληνική Βικιπαίδεια http://el.wikipedia.org . Όλα τα κείμενα είναι διαθέσιμα υπό την GNU Free Documentation License

<@=@=@>