Sejam R o conjunto dos números reais e f uma função de R em R. Se B⊂R e o conjunto f−1(B)={x∈R ; f(x)∈B}, então: