relacja słabo antysymetryczna iteRacj@: Czy relacja podzielności R ⊂ ZxZ jest słabo antysymetryczna ? Czyli czy spełnia warunek ∀_x,y∊Z xRy ∧ yRx ⇒ x=y ? Znalazłam w necie odpowiedź, że nie jest. Ale ta implikacja jest prawdziwa dla każdej pary liczb całkowitych, również dla x=y=0 (wtedy poprzednik jest fałszywy a następnik prawdziwy). Czy to jest poprawne?

Adamm: −1 dzieli 1 na odwrót

Adamm: i na odwrót

iteRacj@: czyli dla całkowitych nie jest, dla naturalnych tak, dziękuję