functor
(
S
:
SET
)
->
SET0