logika PuRXUTM: Dla koleżanki f jest iniekcją ⇔∀A⊂X A=f⁻¹(f(A)) ⇒ x∊A ⇒ [f(x)∊ f(A)]⇒x∊ f⁻¹(f(A) x∊f⁻¹(f(A))⇒∃_y∊f(A) y=f(x) ⇒ ∃_y y∊f(A) y=f(x) ⇒ ∃_y ∃z∊A y=f(z) i y=f(x) ⇒(f iniekcja)⇒z=x⇒x∊A zatem pokazaliśmy że A=f⁻¹(f(A)) <= za chwilę

Mila: Sesja zaliczona?

PuRXUTM: Milu pierwszy egzamin w piątek ale ćwiczenia zaliczyłem

Mila: To już sukces. Powodzenia, z czego egzamin?

PuRXUTM: logika nie dziękuje