Διατεταγμένο ζεύγος: Διαφορά μεταξύ των αναθεωρήσεων

μ
Αντικατάσταση παρωχημένης σύνταξης latex (mw:Extension:Math/Roadmap)
Χωρίς σύνοψη επεξεργασίας
μ (Αντικατάσταση παρωχημένης σύνταξης latex (mw:Extension:Math/Roadmap))
:<math>\forall{Y}{\in}{p}:{x}{\in}{Y}</math> ,
και η ιδιότητα ότι το στοιχείο <math>x \,</math> είναι το δεύτερο στοιχείο του διατεταγμένου ζεύγους <math>p \,</math> μπορεί να λάβει τη μορφή
:<math>(\exist{Y}{\in}{p}:{x}{\in}{Y})\andland(\forall{Y_{1},Y_{2}}{\in}{p}:Y_{1}\ne Y_{2}\rarr ({x}{\notin}{Y_{1}}\orlor{x}{\notin}{Y_{2}}))</math> .
 
[[Κατηγορία:Θεωρία συνόλων]]
62

επεξεργασίες