Description: The closure function is a map from the powerset of the base set to itself. This is less precise than clsf . (Contributed by RP, 22-Apr-2021)