Coinstantiation

One of the fundamental concepts of bundle theory is a coinstantiation relation between properties. Interestingly, it may be possible to reduce coinstantiation to instantiation and entailment. Specifically, a bundle theorist may say that the Ps (some plurality of properties) are coinstantiated if and only if there is a property Q such that (a) Q entails each of the Ps and (b) Q is instantiated.