background image

10.5. EMBEDDING RELOIDS INTO FUNCOIDS

219

Proof.

ρf

is monovalued

(

ρf

)

(

ρf

)

1

v

1

Dst

ρf

ρ

(

f

f

1

)

v

1

Dst

ρf

ρ

(

f

f

1

)

v

1

FCD

P

(Dst

f

×

Dst

f

)

ρ

(

f

f

1

)

v

ρ

1

RLD

Dst

f

f

f

1

v

1

RLD

Dst

f

f

is monovalued

.