Question

Czym te dwa zapisy się od siebie różnią i jak je przetłumaczyć?
1. {x ∈ X : x ∈ A =⇒ x ∈ B} - elementy są w relacji inkluzji
2. {x ∈ X : x ∈ A ⇐⇒ x ∈ B}

Answer 1

Odpowiedź:

Szczegółowe wyjaśnienie:

w 1. masz implikację [Jeżeli x należy do A, to x należy do B]   A⊂B

W 2. masz równoważność [ x należy do A wtedy i tylko wtedy gdy x należy do B]

A⊂B i B⊂A  to znaczy, że A=B

W pierwszym zbiór A jest podzbiorem zbioru B, a w drugim te zbiory są równe.