Considere os conjuntos S = {0, 2, 4, 6}, T = {1, 3, 5} e U = {0, 1} e as afirmações:
I. {0} ∈ S e S ∩ U ≠ ∅.
II. {2} ⊂ S \ U e S ∩ T ∩ U = {0, 1}.
III. Existe uma função f : S → T injetiva.
IV. Nenhuma função g : T → S é sobrejetiva.
Então, é(são) verdadeira(s)