ConceptPredicateModified just nowProperties 4Hide BooksChapter 2. Mathematical preliminariesChapter 2. Inductive definitions JourneyProgramming Language Theory Statusmastered Tagsset-theory-relationAn unary n-place relation PPP, (s)∈P(s) \in P(s)∈P is typically written as P(s)P(s)P(s). Previous in ConceptsPrecedenceNext in Concepts Predicate type