for f being trivial Function
for x being object st x in dom f holds
proj (f,x) is one-to-one