Θεωρία συνόλων χρησιμοποιεί διάφορες λειτουργίες για την κατασκευή νέων συνόλων από παλιές. Υπάρχουν διάφοροι τρόποι να επιλέξετε ορισμένα στοιχεία από τα δεδομένα σύνολα, εξαιρώντας άλλα. Το αποτέλεσμα είναι συνήθως ένα σετ που διαφέρει από το αρχικό. Είναι σημαντικό να υπάρχουν σαφώς καθορισμένοι τρόποι κατασκευής αυτών των νέων συνόλων, και παραδείγματα αυτών περιλαμβάνουν το ένωση, σημείο τομής, και διαφορά δύο συνόλων. Μια λειτουργία που ίσως είναι λιγότερο γνωστή ονομάζεται συμμετρική διαφορά.
Ορισμός συμμετρικών διαφορών
Για να κατανοήσουμε τον ορισμό της συμμετρικής διαφοράς, πρέπει πρώτα να καταλάβουμε τη λέξη «ή.» Αν και μικρή, η λέξη «ή» έχει δύο διαφορετικές χρήσεις στην αγγλική γλώσσα. Μπορεί να είναι αποκλειστική ή χωρίς αποκλεισμούς (και χρησιμοποιήθηκε αποκλειστικά στην παρούσα πρόταση). Εάν μας λένε ότι μπορούμε να επιλέξουμε από Α ή Β και η αίσθηση είναι αποκλειστική, τότε μπορούμε να έχουμε μόνο μία από τις δύο επιλογές. Εάν η αίσθηση είναι περιεκτική, τότε μπορεί να έχουμε Α, μπορεί να έχουμε Β, ή μπορεί να έχουμε και Α και Β.
Συνήθως, το πλαίσιο μας καθοδηγεί όταν αντιμετωπίζουμε τη λέξη ή και δεν χρειάζεται καν να σκεφτούμε τον τρόπο με τον οποίο χρησιμοποιείται. Εάν μας ρωτούν αν θα θέλαμε κρέμα γάλακτος ή ζάχαρη σε μας καφές, είναι σαφές ότι μπορεί να έχουμε και τα δύο. Στα μαθηματικά, θέλουμε να εξαλείψουμε την ασάφεια. Έτσι, η λέξη «ή» στα μαθηματικά έχει μια συνεκτική αίσθηση.
Έτσι, η λέξη «ή» χρησιμοποιείται με την έννοια της έννοιας της ένωσης. Η ένωση των συνόλων Α και Β είναι το σύνολο στοιχείων είτε στο Α είτε στο Β (συμπεριλαμβανομένων εκείνων των στοιχείων που βρίσκονται και στα δύο σύνολα). Αλλά αξίζει να έχουμε μια λειτουργία που να κατασκευάζει το σύνολο που περιέχει στοιχεία στο Α ή στο Β, όπου το «ή» χρησιμοποιείται με την αποκλειστική έννοια. Αυτό καλούμε τη συμμετρική διαφορά. Η συμμετρική διαφορά των συνόλων Α και Β είναι εκείνα τα στοιχεία στο Α ή Β, αλλά όχι και στις δύο πλευρές Α και Β. Ενώ η συμβολική παράσταση ποικίλλει για τη συμμετρική διαφορά, θα γράψουμε ως εξής A Δ Β
Για παράδειγμα της συμμετρικής διαφοράς, θα εξετάσουμε τα σύνολα ΕΝΑ = {1,2,3,4,5} και σι = {2,4,6}. Η συμμετρική διαφορά μεταξύ αυτών των συνόλων είναι {1,3,5,6}.
Σε ό, τι αφορά άλλες λειτουργίες ρύθμισης
Για τον καθορισμό της συμμετρικής διαφοράς μπορούν να χρησιμοποιηθούν άλλες λειτουργίες ρύθμισης. Από τον παραπάνω ορισμό, είναι σαφές ότι μπορούμε να εκφράσουμε τη συμμετρική διαφορά των Α και Β ως τη διαφορά της ένωσης των Α και Β και τη διασταύρωση των Α και Β. Στα σύμβολα γράφουμε: A Δ B = (A ∪ B) - (A ∩ Β).
Μια ισοδύναμη έκφραση, χρησιμοποιώντας κάποιες διαφορετικές λειτουργίες ρύθμισης, συμβάλλει στην εξήγηση της συμμετρικής διαφοράς του ονόματος. Αντί να χρησιμοποιήσουμε την παραπάνω διατύπωση, μπορούμε να γράψουμε την συμμετρική διαφορά ως εξής: (Α - Β) ∪ (Β - Α). Εδώ βλέπουμε και πάλι ότι η συμμετρική διαφορά είναι το σύνολο των στοιχείων στο Α αλλά όχι στο Β, ή στο Β αλλά όχι στο Α. Έτσι έχουμε αποκλείσει αυτά τα στοιχεία στη διασταύρωση των Α και Β. Είναι δυνατό να αποδειχθεί μαθηματικά ότι αυτοί οι δύο τύποι είναι ισοδύναμοι και αναφέρονται στο ίδιο σετ.
Η ονομαστική συμμετρική διαφορά
Η ονομαστική συμμετρική διαφορά υποδεικνύει μια σύνδεση με τη διαφορά δύο συνόλων. Αυτή η διαφορά είναι εμφανής και στους δύο παραπάνω τύπους. Σε κάθε μία από αυτές, υπολογίστηκε μια διαφορά δύο συνόλων. Αυτό που θέτει τη συμμετρική διαφορά εκτός από τη διαφορά είναι η συμμετρία της. Κατά την κατασκευή, οι ρόλοι των Α και Β μπορούν να αλλάξουν. Αυτό δεν ισχύει για τη διαφορά μεταξύ δύο συνόλων.
Για να τονίσουμε αυτό το σημείο, με λίγη δουλειά θα δούμε τη συμμετρία της συμμετρικής διαφοράς από τότε που βλέπουμε A Δ B = (A - B) ∪ (B - A) = (B - A) ∪ (A - B) = B Δ A.