For any property P: For every element of , the property P holds (vacuous truth). There is no element of for which the property P holds.
For any pro.perty P: For every element of , the property P holds (vacuous truth). There is no element of for which the property P holds