background image

Restriction of a reloid

Restriction

of a reloid

f

to a filter

A

is defined by the formula

f

|

A

=

f

id

A

or

f

|

A

=

f

(

A ×

RLD

1

F

(

Base

(

A

))

)

.

35