atomic (finite) powerset