Na skupu [inlmath]\mathbb{N}\times\mathbb{N}[/inlmath] definisana je relacija [inlmath]\rho[/inlmath] na sledeći način: [inlmath](a,b)\rho(x,y)[/inlmath] akko [inlmath]a\geq x[/inlmath] i [inlmath]b\mid y[/inlmath]. Ispitati osobine.
Moje pitanje glasi: na koji način provlačim uređene parove kroz osobine? Znao bih ako bi bili sami [inlmath]x[/inlmath] i [inlmath]y[/inlmath], ali nisam siguran za ovo. Hvala unapred.