Definition A family F of functions on a set separating points x=y in the set if f(x)=f(y) for some f∈F