Διαφορά μεταξύ υποκειμένων και κατάλληλων υποκειμένων
Subsets vs. Proper Subsets
Είναι φυσικό να συνειδητοποιήσουμε τον κόσμο μέσα από την κατηγοριοποίηση των πραγμάτων σε ομάδες. Αυτή είναι η βάση της μαθηματικής έννοιας «Set Θεωρία». Η θεωρία των συνόλων αναπτύχθηκε στα τέλη του δέκατου ένατου αιώνα και τώρα είναι πανταχού παρούσα στα μαθηματικά. Σχεδόν όλα τα μαθηματικά μπορούν να εξαχθούν χρησιμοποιώντας τη θεωρία των συνόλων ως το θεμέλιο. Η εφαρμογή της θεωρίας συνόλων κυμαίνεται από αφηρημένα μαθηματικά σε όλα τα θέματα στον απτό φυσικό κόσμο.
Το υποσύνολο και η σωστή υποενότητα είναι δύο ορολογίες που χρησιμοποιούνται συχνά στη Θεωρία συνόλων για την εισαγωγή σχέσεων μεταξύ συνόλων.
Εάν κάθε στοιχείο ενός συνόλου Α είναι επίσης μέλος ενός συνόλου Β, τότε το σύνολο A ονομάζεται υποσύνολο Β. Αυτό μπορεί επίσης να διαβαστεί ως "Το Α περιέχεται στο Β". Πιο τυπικά, το Α είναι ένα υποσύνολο του Β, που υποδηλώνεται από το A⊆B εάν, το x∈A υπονοεί το x∈B.
Οποιοδήποτε σύνολο είναι ένα υποσύνολο του ίδιου συνόλου, επειδή, προφανώς, οποιοδήποτε στοιχείο βρίσκεται σε ένα σύνολο θα είναι επίσης στο ίδιο σετ. Έστω ότι το Α είναι ένα σωστό υποσύνολο του Β, αν το Α είναι ένα υποσύνολο του Β αλλά το Α δεν είναι ίσο με το Β. Για να υποδηλώσουμε ότι το Α είναι ένα σωστό υποσύνολο του Β, χρησιμοποιούμε τη σημείωση A⊂B. Για παράδειγμα, το σύνολο {1, 2} έχει 4 υποσύνολα, αλλά μόνο 3 σωστά υποσύνολα. Επειδή το {1, 2} είναι ένα υποσύνολο αλλά όχι ένα σωστό υποσύνολο {1, 2}.
Εάν ένα σετ είναι ένα σωστό υποσύνολο άλλου συνόλου, είναι πάντοτε ένα υποσύνολο αυτού του συνόλου (δηλαδή αν το Α είναι ένα σωστό υποσύνολο του Β, αυτό σημαίνει ότι το Α είναι ένα υποσύνολο του Β). Αλλά μπορούν να υπάρχουν υποσύνολα, τα οποία δεν είναι σωστά υποσύνολα του υπερπληθυσμού τους. Αν δύο σύνολα είναι ίσα, τότε είναι υποσύνολα μεταξύ τους, αλλά όχι σωστό υποσύνολο το ένα του άλλου.Εν συντομία:
|
- Αν το Α είναι ένα σωστό υποσύνολο του Β τότε το Α δεν μπορεί να είναι ίσο με Β. Συνιστάται |
