Ταυτότητα (μαθηματικά): Διαφορά μεταξύ των αναθεωρήσεων

Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μ Αναστροφή της επεξεργασίας από τον 2A02:587:222F:2900:1956:57F8:E2F4:590F (συνεισφ.), επιστροφή στην τελευταία εκδοχή υπό Atlantia
Ετικέτα: Επαναφορά
Χωρίς σύνοψη επεξεργασίας
Ετικέτες: Επεξεργασία από κινητό Διαδικτυακή επεξεργασία από κινητό Προχωρημένη επεξεργασία από κινητό
 
Γραμμή 4:
:<math>\ Y = X </math> [[αν και μόνο αν]] <math>\ Y </math> και <math>\ X </math> αποτελούνται από ακριβώς τα ίδια στοιχεία.
 
Η πάνω αρχή είναι γνωστή και ως ''αξίωμα έκτασης'' (axiom of extensionality) και είναι το πρώτο από τα [[αξιώματα Zermelo–FraenkelΖερμέλο-Φρένκελ]] (Zermelo–Fraenkel).
 
Για [[διατεταγμένο ζεύγος|διατεταγμένα ζεύγη]] η αρχή της ταυτότητας διατυπώνεται ως εξής: