Quantum redactiones paginae "Copia" differant

 

==Denotationes et definitiones==

*Copiae denotari solent parenthesibus "{" et "}" usurpatis initium aut finem copiae indicentibus. Sunt duae formae copiae: una elementa enumerans, exemplo {1,2} aut {Gaius, Petrus, Marcus}. Altera elementa describens variabili vel variabilibus et sententia vel sententiis usa: Ad quae elementa sententia sequens (''praedicatum'') pertinet ante symbolis ''':''' aut '''|''' notatur variabilibus in parenthesibus "(" et ")" iterum adiectis. Ergo: <math> \lbrace x: \ S(x) \rbrace .</math> Si <math> x_0 </math> elementum huius copiae sit (id est: valet praedicatum variabili <math> x_0</math>), notatur <math> x_0 \in \lbrace x: S(x) \rbrace .</math>

 

* Tales <math> x </math> solent esse in copia superiore. Sit talis copia <math> X </math>, tum scribi solet <math> \lbrace x \in X: S(x) \rbrace .</math> Ut indicatur X talem esse copiam superiorem, scribi solet <math> X \supset \lbrace x \in X: S(x) \rbrace </math> aut <math> \lbrace x \in X: S(x) \rbrace \subset X.</math>

 

*''Coniunctioni'' duarum pluriumve copiarum omnia elementa e quaquam illarum insunt. Notatur symbolo <math> \cup </math>. Ergo: Sit <math> A= \lbrace x \in X: S_1(x) \rbrace </math> et <math> B= \lbrace y \in Y: S_2(y) \rbrace .</math> Tum: <math> A \cup B= \lbrace z: S_1(z) \or S_2(z) \rbrace .</math>

 

 

 

<gallery>

Image:Venn A subset B.svg|Copia B est copiae a superior aut copia A est copiae B inferior