Relacje Nick: Zbadać, czy relacja określona warunkiem: n,k ∊ N \ {0}, nRk ⇔ [ n|k ∧ 2|(n+k)] jest zwrotna, symetryczna, słabo antysymetryczna, przechodnia i spójna.