You are viewing a single comment's thread. Return to all comments →
Simplifying the Relational Calculus expression in plain language, the question can be translated as follows:
" Find an element in set X, such that for all elements in Set(X) and Set(Y), there is a function where y is less than or equal to x "
So all in all, we demand a set element from S (say x) whose valueis always greater than or equal to y. Logically, the greatest element in the given set S will be the element x needed as an answer since no other element can be greater than that.