!"$#!%'&%()*

+-,.0/21436587:9);

<=?>A@CBEDGFIHKJGLNMPOQRJ8S

X

× Y

T)U

JGVWH

UYX

V-ZNO[H"O\

T

V^]_OZNJGLNMP`Q"abSGcdOeJGLNMPOQRfg

h

J

T)Ui

J8S

T

M

Ukj

R

⊂ X × Y

(x, y) ∈ R ⇐⇒ xRy

+-,.0/21436587ml;

no8pq=Rr[o8pts_FIQRS8\

Uivu

M

R

⊂ X × Y

T)U

JGVWH

UYX

V-J8LNMw`dQ

D

R

= {x ∈ X: ∃y ∈ Y xRy}

g

x"yzo{=6B?pt|r[o8pq=Rr[o8pts_FIQRSG\

Ui}u

M

R

⊂ X × Y

T)U

JGVWH

UX

V-JGLNMP`dQ

∆

R

= {y ∈ Y : ∃x ∈ X xRy}.

~K

UY€RT

Od

i

MQRSG\

Ui}u

M

♣

T

MwS8]Nf

€

a

U

⇐⇒ D

R

= X

‚

♣

€

fkQRMPSGƒa}VCH

TNU

⇐⇒ ∆

R

= Y

‚

♣

]NQ

U

HO

€

abQRO

TNT

MPS

u

SGZ

T

OdJ

T)Ui

J

T)U

⇐⇒

∀x ∈ X ∀y

1

, y

2

∈ Y : xRy

1

∧ xRy

2

=⇒ y

1

= y

2

;

♣

\PS?H"O

€

abQzO

TNT

MwS

u

S8Z

T

OJ

T)Ui

J

T)U

⇐⇒

∀x

1

, x

2

∈ X ∀y ∈ Y : x

1

Ry

∧ x

2

Ry

=⇒ x

1

= x

2

.

+-,.0/21436587m„;

…

r|†o{‡{y6‡{|@s)pq=?ˆ

TNU

JGVWH

UX

V-QRSG\

Ui}uz‰ T

MPSG]Nf

€

a6Š‹M]NQ

U

HO

€

aRQRO

TNT

MPS

u

S8Z

T

OdJ

T)UYi

J

T

Škg

+-,.0/21436587Œ;

…

r[o8|"‡{y6‡{|@s)pq=?ˆŽy688s!‡{|@y’‘}‡[“[B?pq‡{|•”Yˆ—–˜pts™D™=6šBEDGF?›

T)U

J?VCH

UX

VOCZkHœJ8OdQzO[H

UT

MPS%\PS?

H"O

€

abQzO

TNT

MwS

u

SGZ

T

OdJ

T)Ui

J

T

SYg

+-,.0/21436587mž;

…

r|†o{‡{y6‡{|@s)pq=?ˆ Ÿ?¡Cy’pq=6š{‘¢”{|•s)”Yˆ£–¢Ÿ?¡y’pq=6šBEDGF?›

T)U

J?VWH

UX

V¤OZHœJ8OdQzO¥H

UT

MwS¦L

‰

Z)Š

i

S

QRS8\

Uivu

Š

€

fNQRMwS8ƒa}VWH

T

Škg

+-,.0/21436587m§;

¨œp

D™=6šBEDGF

T)U

JGVWH

UX

V-M

T{u

S8ƒ

ivuz‰©€

fNQzMPSGƒWa}VWH

T

Šg

¨<

=6Ÿ?‘q@|

<œ=?>A@CBED™=

yb‡8r[o[@zD™=•|˜@{Ÿ?s!‡[“[B?p

J

i

J8S8c`d\

T

V

X

]NQRJ?VC]

U

ZNƒWMPS

X

QRSG\

Ui}u

M

€

Š—QRSG\

Ui}u

S

H

MP\wO

i

JGV

T

MPSŽƒ

U

QzabSGJ

uRUk€

ƒWM

X

X

2

≡ X × X

gOdJ?H

U8X

V^QzS8\

Uivuz‰

R

⊂ X

2

g2O[HœMPS

X

V^O

T

MPS

u

S

u

S

€

aQRS8\

Uivu

Š

j

♣

JGHœQzOa

T

Š

⇐⇒ ∀x ∈ X: xRx

‚

♣

€

V

X

SGaRQzV

i

J

T

Š

⇐⇒ ∀x, y ∈ X: xRy =⇒ yRx

‚

♣

]NQzJ8S

i

OZ

T

M

Š

⇐⇒ ∀x, y, z ∈ X: xRy ∧ yRz =⇒ xRz

‚

♣

UT

a}V

€

V

X

SGabQ

V

i

J

T

Š

⇐⇒ ∀x, y ∈ X: xRy ∧ yRx =⇒ x = y

‚

♣

U€

V

X

SGaRQzV

i

J

T

Š

⇐⇒ ∀x, y ∈ X: xRy =⇒ ¬yRx

‚

♣

€

]_`

uzT

Š

⇐⇒ ∀x, y ∈ X: xRy ∨ yRx ∨ x = y

g

+-,.0/21436587

;

<=?>A@CBEDGF

y6{|•s!‡{|@[8s!‡[“[B?p

TNU

JGVWH

UX

V

QRSG\

Ui}uz‰

R

⊂ X

2

J?HœQROa

T

Š

€

V

X

SGaRQzV

i

J

T

Š

M]NQRJGS

i

OCZ

T

MPŠkg

+-,.0/21436587"!;

#%>A@{Ÿ8F

@%$?Ÿ?‘¢yz@{šBED’pS8\wS

X

S

T

abf

x

HœJGcd\

‰

ZNS

X

QzS8\

UYivu

MQz`¥H

T

O¥H

UGT

Od

i

M

R

T)U

J?VWH

UX

V

J8LNMw`dQ

j

[x]

R

= {y ∈ X : yRx}

+-,.0/21436587"&;

<=?>A@CBEDGFeBRo('6“[B?pq‡{|"=*)C‡,+)‡{yzo[Fr{š{¡

T)U

JGVWH

UYX

VQRS8\

Uivuz‰

R

⊂ X

2

J?HœQROa

T

Š

UT

a}V

€

V

X

S’

abQzV

i

J

T

ŠM]NQRJGS

i

OCZ

T

MPŠkg

+-,.0/21436587:9.-;

<=?>A@CBEDGF>

pts)pq‡{|"=*)C‡/+)‡{yzo[Fr{š{¡

T)U

J?VCH

UX

V

QzS8\

Uivuz‰-i

J

‰



i

MPO[HS8cdOm]

OdQzJ™ŠZkƒCf

ƒab`dQ

U

ZNOZ

U

abƒYO¥HO

u

S

€

aQRSG\

Ui}u

Š

€

]_`

uzT

Škg

¨<

=6Ÿ?‘q@|

<œ=?>A@CBED™=

yb‡8r[o[@zD™=•|˜@{Ÿ?s!‡[“[B?p

77)/21E7

•77)/†14,

9);

T)U

\wMwa}V

i

J

T

MPS

€

]kQ

U

HœZHI

U€RT

Od

i

M

T

MwS8]Nf

€

abOd

i

M

C€

fNQRMwS8ƒa}VWH

T

Od

i

MM

u

S8Z

T

O

€

aRQRO

TkT

V

i

u

S8Z

T

OJ

T)Ui

J

T

O

i

M†ZN\

U

QzS8\

Uivu

M

j

xRy

⇐⇒ x

2

+ y

2

= 1,

R

⊂ R

2

.

OdƒO

T)U¥u

J

Ui

MwS8

T

MPS

JGLNMPOdQz`[H

X

M

Y

'U

LV^]_O[H

V

8€

J

U

QzS8\

UYivuRU

LV'

Ukj

U

OZHœJ8OdQzO¥H

UT

MwS

X

‚

L

M

T{u

SGƒ

i}u

Š

‚

i

LNM

u

SGƒ

i}u

Škg

•77)/†14,l;

UT)U%u

S

€

a QzS8\

UYivuRU

R

⊂ X × Y

X

⊂ R, Y ⊂ R

g

h

ƒCQzS8z\

J8LNMwOdQzV

X

M

Y

H

a

U

ƒWM

€

]_O

€

`dL

©U

LV

QRSG\

Ui}uRU

LV)

U

OZHœJ8OdQzO¥H

UT

MwS

X

LkM

u

S8ƒa}VWH

T

V

X

g

2OCZ

U¥u

HœJG`dQ^abSGcdO

OZkHœJGOdQRO[H

UT

M

U

g

U

xRy

⇐⇒ x

2

− y

2

= 1

L

xRy

⇐⇒ 3 + y = log

2

(x + 1)

i

xRy

⇐⇒ y = x

2

− 4

•77)/†14,„;

U

ƒWMPS

HI

U€zT

Od

i

M

X

U[u

Š-]_OCZ

UT

S

QzS8\

UYivu

S"J?V

]

OCZ

UTNU

QzS8\

UivuRU%u

S

€

aQRS8\

Uivu

Š

Qz`[H

T

OH

U8T

O

i

M

QzS8\

UYivu

Š

i

J

‰



i

MPO[H"SGcdO

\wM

T

MwO[H"SGcdO-]

OdQzJ™ŠZkƒCf

~

]NQzJGVC]

U

ZkƒCf

QzS8\

Uivu

M

QR`[H

T

O[H

U8T

Od

i

MH

VCJ

T)Ui

JGV

ƒW\

U€

V

U

L

€

aRQ

U

ƒ

ivu

MabS

u

QzS8\

UYivu

Mqg

U

xRy

⇐⇒ |x| = |y|, X = R

\PfNL-M

T)Ui

JGS

uGj

R

= {(x, y) ∈ R

2

: |x| = |y|}

‚

L

xRy

⇐⇒ x

2

≤ y

2

, X

= R

‚

i

xRy

⇐⇒ ∃k ∈ Z: x − y = 5k, X = R

‚

Z

xRy

⇐⇒ x

u

S

€

aZNJGMPS8\

T

MPƒWMwS

X

y

X

1

= C

X

2

= N

‚

S

ARB

⇐⇒ A ⊂ B

X

= P(R)