Διατεταγμένο ζεύγος

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

Ενώ για τα σύνολα η αρχή της ταυτότητας δεν περιλαμβάνει διάταξη, έτσι ώστε ισχύει για παράδειγμα ότι , αντίθετα για τα διατεταγμένα ζεύγη η αρχή της ταυτότητας περιλαμβάνει τη διάταξη, έτσι ώστε ισχύει για παράδειγμα ότι  .

Έχουν προταθεί αρκετοί διαφορετικοί τυπικοί ή αυστηροί ορισμοί για την έννοια του διατεταγμένου ζεύγους, η οποία άλλοτε ορίζεται ως πρωταρχική έννοια και άλλες φορές ορίζεται με βάση τα σύνολα. Ένας τυπικός ορισμός του διατεταγμένου ζεύγους είναι αυτός του Kuratowski:

 .

Με βάση αυτόν τον ορισμό η ιδιότητα ότι το στοιχείο  είναι το πρώτο στοιχείο του διατεταγμένου ζεύγους  μπορεί να λάβει τη μορφή
 ,
και η ιδιότητα ότι το στοιχείο  είναι το δεύτερο στοιχείο του διατεταγμένου ζεύγους  μπορεί να λάβει τη μορφή
 .

Κατηγορία:Θεμελιώδεις έννοιες θεωρίας συνόλων

ru:Пара (математика)#Упорядоченная пара