Let us analyze the query step-by-step:
The right-hand side subexpression:
ΠempId(employee⋈(empId=eId)∧(empAge≤depAge)dependent) selects the empId of all employees who have at least one dependent whose age is greater than or equal to the employee's age (i.e., empAge≤depAge).
The outer operation is a set difference:
ΠempId(employee)−Right Subexpression This removes all employees who have at least one dependent with empAge≤depAge from the set of all employees.
Since every employee is given to have at least one dependent, the remaining employees are those for whom no dependent satisfies empAge≤depAge, which means that for all of his/her dependents, empAge>depAge.
Therefore, the query returns the set of employees whose age is greater than that of all of his/her dependents (Option D).