background image

Restricted identity reloid

The

identity reloid

on a set

A

is defined as id

RLD

(

A

)

=

RLD

(

A

;

A

)

id

A

.

Similarly to the above defined restricted identity funcoid, we
can also define the

restricted identity reloid

id

A

RLD

=

id

RLD

(

Base

(

A

))

⊓ A ×

RLD

1

F

(

Base

(

A

))

.

We have

id

A

RLD

=

l

RLD

(

Base

(

A

);

Base

(

A

))

id

A

|

A

up

A

 

.

34