In fact,
is not only a subset, but is equal to
(by definition).
To get a better intuition, consider an example, such as
iff
is even (
are integers), or
iff
(
are sets). Take a pair
from
and see if
. Do this several times and then try to have a different outcome for whether
.