From Wikipedia, the free encyclopedia
Για σύνολα η αρχή της ταυτότητας διατυπώνεται ως εξής:
Το λήμμα δεν περιέχει πηγές ή αυτές που περιέχει δεν επαρκούν. |
Η πάνω αρχή είναι γνωστή και ως αξίωμα έκτασης (axiom of extensionality) και είναι το πρώτο από τα αξιώματα Ζερμέλο-Φρένκελ (Zermelo–Fraenkel).
Για διατεταγμένα ζεύγη η αρχή της ταυτότητας διατυπώνεται ως εξής:
Δηλαδή για διατεταγμένα ζεύγη η ταυτότητα καθορίζεται από (i) την ταυτότητα των στοιχείων και (ii) τη διάταξη των στοιχείων.
Αυτό το λήμμα χρειάζεται επέκταση. Μπορείτε να βοηθήσετε την Βικιπαίδεια επεκτείνοντάς το. |
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.