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

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.