for F being functional compatible set st ( for f1 being Function st f1 in F holds
( f1 is one-to-one & ( for f2 being Function st f2 in F & f1 <> f2 holds
rng f1 misses rng f2 ) ) ) holds
union F is one-to-one