Line 101: |
Line 101: |
| ===<translate>Quantifiers</translate>=== | | ===<translate>Quantifiers</translate>=== |
| | | |
− | *Membership: represented by the symbol <math>\in </math> (belongs), - for example the number 13 belongs to the set of odd numbers <math>\in </math> <math>13\in Odd </math> | + | *<translate>Membership</translate>: <translate>represented by the symbol <math>\in </math> (belongs), - for example the number 13 belongs to the set of odd numbers <math>\in </math> <math>13\in Odd </math></translate> |
− | *Non-membership: represented by the symbol <math>\notin </math> (It does not belong). | + | *<translate>Non-membership</translate>: <translate>represented by the symbol <math>\notin </math> (It does not belong)</translate> |
− | *Inclusion: Represented by the symbol <math>\subset</math> (is content), - for example the whole <math>A</math> it is contained within the larger set <math>U</math>, <math>A \subset U</math> (in this case it is said that <math>A</math> is a subset of <math>U</math>). | + | *<translate>Inclusion</translate>: <translate>Represented by the symbol <math>\subset</math> (is content), - for example the whole <math>A</math> it is contained within the larger set <math>U</math>, <math>A \subset U</math> (in this case it is said that <math>A</math> is a subset of <math>U</math>)</translate> |
− | *Universal quantifier, which is indicated by the symbol <math>\forall</math> (for each). | + | *<translate>Universal quantifier</translate>, <translate>which is indicated by the symbol <math>\forall</math> (for each)</translate> |
− | *Demonstration, which is indicated by the symbol <math>\mid</math> (such that) | + | *<translate>Demonstration</translate>, <translate>which is indicated by the symbol <math>\mid</math> (such that)</translate> |
| | | |
| ===<translate>Set operators</translate>=== | | ===<translate>Set operators</translate>=== |