for all x ∈ A
=> x= f(x)
=> f(x) = f(f(x))
=> x = f(f(x)) ( x= f(x))
=> x ∈ B
=> A is subset of B