notEverySubsetIs
P161882
predicate
Indicates that it is not the case that every subset of one set satisfies a specified relation or property with respect to another set.