theorem Th49: :: COHSP_1:49

for C1, C2 being Coherence_Space
for f being U-stable Function of C1,C2 holds
( f is U-linear iff for a being set
for y being object st [a,y] in Trace f holds
ex x being set st a = {x} )