Mnozhestva2
.pdf48.G : x2 + y2 < 20;
(x1; y1)R1(x2; y2) : x1 · x2 _ y1 < y2;
(x1; y1)R2(x2; y2) : maxfx1; y1g · maxfx2; y2g.
49.G : x2 + y2 · 17;
(x1; y1)R1(x2; y2) : x1 · x2 ^ y1 < y2; (x1; y1)R2(x2; y2) : jx1 ¡ y1j · jx2 ¡ y2j.
50.G : x2 + y2 · 15;
(x1; y1)R1(x2; y2) : jx1 ¡ 2y1j < jx2 ¡ 2y2j; (x1; y1)R2(x2; y2) : x1 + 2y12 · x2 + 2y22.
51.G : x2 + y2 · 9;
(x1; y1)R1(x2; y2) : minfx1; y1g · minfx2; y2g; (x1; y1)R2(x2; y2) : x21 ¡ y1 < x22 ¡ y2.
52.G : x · y + 10;
(x1; y1)R1(x2; y2) : jx1j < jx2j;
(x1; y1)R2(x2; y2) : x21 + y12 · x22 + y22.
53.G : x2 + y2 ¸ 9;
(x1; y1)R1(x2; y2) : minfx1; y1g · minfx2; y2g; (x1; y1)R2(x2; y2) : jx21 ¡ y1j < jx22 ¡ y2j.
54.G : x2 + y2 < 20;
(x1; y1)R1(x2; y2) : x1 · x2 ^ y1 < y2;
(x1; y1)R2(x2; y2) : maxfx1; y1g · maxfx2; y2g.
55.G : x · y + 16;
(x1; y1)R1(x2; y2) : jx1j < jx2j;
(x1; y1)R2(x2; y2) : x21 + 2y12 · x22 + 2y22.
56.G : x2 + y2 > 20;
(x1; y1)R1(x2; y2) : j minfx1; y1gj < j minfx2; y2gj; (x1; y1)R2(x2; y2) : x1 < x2 _ y1 · y2.
57.G : x2 + y2 ¸ 9;
(x1; y1)R1(x2; y2) : jx1j < jx2j ^ y1 · y2; (x1; y1)R2(x2; y2) : jx1 ¡ y1j < jx2 ¡ y2j.
41
58.G : x > 2y + 12;
(x1; y1)R1(x2; y2) : jy1j < jy2j;
(x1; y1)R2(x2; y2) : x1 + y12 · x2 + y22.
59.G : x ¸ y + 10;
(x1; y1)R1(x2; y2) : jy1j · jy2j;
(x1; y1)R2(x2; y2) : x1 + y12 < x2 + y22.
60.G : x2 + y2 · 20;
(x1; y1)R1(x2; y2) : x1 · x2 _ jy1j < jy2j;
(x1; y1)R2(x2; y2) : maxfx1; y1g · maxfx2; y2g.
61.G : x2 + y2 · 16;
(x1; y1)R1(x2; y2) : x1 < x2 ^ y1 · y2; (x1; y1)R2(x2; y2) : jx1 ¡ y1j · jx2 ¡ y2j.
62.G : x2 + y2 ¸ 9;
(x1; y1)R1(x2; y2) : minfx1; y1g · minfx2; y2g; (x1; y1)R2(x2; y2) : jx21 ¡ y1j < jx22 ¡ y2j.
63.G : x2 + y2 ¸ 8;
(x1; y1)R1(x2; y2) : x1 ¡ y1 · x2 ¡ y2; (x1; y1)R2(x2; y2) : x1 + 2y12 < x2 + 2y22.
64.G : x2 + y2 < 20;
(x1; y1)R1(x2; y2) : x1 < x2 ^ y1 · y2; (x1; y1)R2(x2; y2) : x1 ¡ y1 < x2 ¡ y2.
65.G : x2 + y2 · 20;
(x1; y1)R1(x2; y2) : x1 < x2 ^ jy1j · jy2j; (x1; y1)R2(x2; y2) : 2x1 ¡ y1 · 2x2 ¡ y2.
42