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.