In Tuple Relational Calculus, to express the query "Find the set of all tuples S such that F(S) is true", how an we write this?

Review the verified answer and explanation for this MOD - MINISTRY OF DEFENCE past-paper question on CampusFin.

In Tuple Relational Calculus, to express the query "Find the set of all tuples S such that F(S) is true", how an we write this? Answer: {S | F(S)}