Supervenience and infinitary property-forming operations