| | | Conjuntos |
Têm de ser seguidas estas regras
\talque
\nat{}, e o dos
naturais com zero
|N0 como \natz{}. Da mesma forma deve-se usar
\nint para o conjunto dos inteiros, \nintp para o dos
inteiros positivos, \nintpz para o dos inteiros positivos e
zero, \nrac para o dos racionais, e \nrea para o
dos reais.
Experimente o seguinte exemplo:
Seja A um subconjunto de \nat{} definido por extensão como $A=\{2,3,4,5\}$. Uma definição alternativa, por compreensão, é: $A=\{x \talque 1<x<6\}$.
Outras notações para conjuntos a usar em expressões:
| forma final | como obter | |||
| pertence |
 | $x\in\{1,2,3\}$ | ||
| conjunto vazio |
 | $\emptyset$ | ||
| união |
 | $A=B\cup C$ | ||
| intersecção |
 | $A=B\cap C$ | ||
| subtracção |
 | $A=B\setminus C$ | ||
| contido em |
 | $A\subset B$ | ||
| contido em ou igual a |
 | $A\subseteq B$ | ||
| contém |
 | $A\supset B$ | ||
| contém ou igual a |
 | $A\supseteq B$ | ||
| união iterada |
 | $A=\bigcup_i B_i$ | ||
| intersecção iterada |
 | $A=\bigcap_i B_i$ | ||
|
|
| | | Conjuntos |