ConceptPowersetModified just nowProperties 3Hide BooksChapter 2. Mathematical preliminaries JourneyProgramming Language Theory StatuslearningDefinition: P(S)={s ∣ s⊆S}\mathcal{P}(S) = \{ s\ |\ s \subseteq S \}P(S)={s ∣ s⊆S} . Previous in ConceptsPolymorphic type systemNext in Concepts Pratt parsing