# Test for Empty Relations

The **exists** construct returns the value true if the argument subquery is nonempty.

* exists r ⇔ r ≠ Ø
* not exists r ⇔ r = Ø