background image

Restriction of funcoids

Restriction of a funcoid

f

to a filter

A

is defined by the

formula

f

|

A

=

f

id

A

FCD

.

It follows

f

|

A

=

f

(

A ×

FCD

1

F

(

Dst

f

)

)

.

27