if our relational calculus is not safe is it is giving infinite results out of domain
{fruits | ~(fruits $\varepsilon$ apples)}
so this is gining infinite results out of our domains.
We may say an expression 
is safe if all values that appear in the result are values from dom(
).
