Other ways of phrasing this:
"Local" vs. "global" properties of collections: to check a collection satisfies a "local" property, it is only necessary to check each individual thing in it satisfies some property.
The rule all collections satisfy is just "every object is a ___" vs. the rule is something more. |