The smallest set that adheres to a given Logical Predicate P(S) that is the Intersection of all sets that follows P(S)