| |
Podemos afirmar que A = B Û (A Ì B e B Ì A).
Pela relação de inclusão podemos escrever:
(" x) (xÎA Þ xÎB) Û A Ì B
e
(" x) (xÎB Þ xÎA) Û B Ì A
Exemplo: - Sejam A = { a, b, c} e B = {c, b, a}, é claro que
A Ì B e B Ì A, logo A = B. Se A = { 1, 2, 3, 4} e B = {1, 2, 3}, temos que: B Ì A, mas existe 4ÎA tal que 4ÏB, assim A Ì B; portanto A não é igual a B.
|
|
|
