καμία σύνοψη επεξεργασίας
μ (r2.7.1) (Ρομπότ: Προσθήκη: eu:Bikote ordenatu) |
Χωρίς σύνοψη επεξεργασίας |
||
:<math>(\exist{Y}{\in}{p}:{x}{\in}{Y})\and(\forall{Y_{1},Y_{2}}{\in}{p}:Y_{1}\ne Y_{2}\rarr ({x}{\notin}{Y_{1}}\or{x}{\notin}{Y_{2}}))</math> .
{{μαθηματικά-επέκταση}}
[[Κατηγορία:Θεωρία συνόλων]]
|