Hellenica World

 

.


Για σύνολα η αρχή της ταυτότητας διατυπώνεται ως εξής:

\ Y = X αν και μόνο αν \ Y και \ X αποτελούνται από ακριβώς τα ίδια στοιχεία.

Η πάνω αρχή είναι γνωστή και ως αξίωμα έκτασης (axiom of extensionality) και είναι το πρώτο από τα αξιώματα Zermelo–Fraenkel.

Για διατεταγμένα ζεύγη η αρχή της ταυτότητας διατυπώνεται ως εξής:

\ \langle w, x \rangle = \langle y, z \rangle αν και μόνο αν \ w=y και \ x=z .

Δηλαδή για διατεταγμένα ζεύγη η ταυτότητα καθορίζεται από (i) την ταυτότητα των στοιχείων και (ii) τη διάταξη των στοιχείων.

Μαθηματική Εγκυκλοπαίδεια

Scientific Library

Retrieved from "http://el.wikipedia.org/"
All text is available under the terms of the GNU Free Documentation License

Επιστήμη

Αλφαβητικός κατάλογος

Home