Characteristic predicate Closure :: ClosureModule :: ClosureModule
ClosureModule
(
)