That entirely depends whether an empty set trivially fulfills every possible predicate.

And if I remember correctly it's not something that's obvious although for convenience it's often assumed.