Ensino Superior ⇒ Estruturas Algébricas

[Loreto]

4) Dados E = {0,1,2,3,4} , R = {(0,1),(1,2),(3,4)}, encontre uma relação de menor cardinalidade que satisfaça SoR = {(1,3),(1,4),(3,3)} \subset E². Em geral, dados R e SoR, a relação S fica univocamente determinada ? E S de menor cardinalidade possível, é univocamente determinada ?

Estava resolvendo um outro exercício e apareceu If o R.
Sei que R é o conjunto R que o exercício deu. O Exercício tbm deu o conjunto F ...mas o que é If ??? If seria a identidade do conjunto F ?? E se for como eu acho essa identidade ??