The `EXISTS` predicate (`exists_predicate`) is a predicate that checks whether a result table contains at least one row.

*SQL Tutorial*, Subquery: Inner Queries

The truth content of an `EXISTS` predicate is either true or false.

The subquery generates a result table. If this result table contains at least one row, `EXISTS <subquery>` is true.