Comment by nobody0

The empty set is vacuously true for any properties with elements.