Zbadać relacje równoważności walchuck: ZADANIE: Sprawdź czy relacja jest zwrotna, symetryczna, przechodnia, czy jest relacją równoważności, jeśli tak, to podaj klasy abstrakcji. 1) X₁=N R₁={<x,y>: ∃t∊N ∃l∊N x^t=y^l} 2) X₂=R R₂={<x,y>:(x−y)∊N} 3) X₃=N x N R₃={<<r,s>,<t,u>>:r+u=s+t} Proszę o pomoc, bo to dla mnie kompletna abstrakcja

PW: Dobrze mówisz, to właśnie mają być klasy abstrakcji. Weź definicję relacji zwrotnej i zobacz, czy R₁ ją spełnia. W 1) to ma być x^t=x^t (mam nadzieję, że tam miało być t, a nie l). Potem definicję relacji symetrycznej itd. To naprawdę nic trudnego.