Nel 2.a se [latex:3tq1a2ds]A[/latex:3tq1a2ds] è vuoto allora [latex:3tq1a2ds]g[/latex:3tq1a2ds] non può proprio esistere.

Nel 4.d vale solo [latex:3tq1a2ds]f&#40;f^{-1}&#40;E&#41;&#41; \subseteq E[/latex:3tq1a2ds]. L'altra inclusione non vale quando qualche elemento di [latex:3tq1a2ds]E[/latex:3tq1a2ds] non è raggiunto da alcuna freccia.