Potreste dimostrarmi queste due proprietà:
Se $f$ è una funzione definita in $S$ ed a valori in $T$, $Y$ una parte di $T$, si ha:
$f(X')-f(X'')subef(X'-X'')$ per ogni coppia $(X',X'')$ di sottoinsiemi di $S$
$f^-1(Y')-f^-1(Y'')=f^-1(Y'-Y'')$ per ogni coppia $(Y',Y'')$ di sottoinsiemi di $T$