Relacje Przemysław: R⊂X² relacja. Pokazać: R⊂R⁻¹⇔R=R⁻¹ "<=" jest oczywiste "=>"(x,y)∊R⇒((x,y)∊R⁻¹⇔(y,x)∊R) <−−− to wiemy biorę el. z R⁻¹ i pokażę, że należy do R (x,y)∊R⁻¹⇔(y,x)∊R⇒(x,y)∊R Dobrze?