theorem Th5: :: COH_SP:5

for C being Coherence_Space
for T being Tolerance of (union C) holds
( T = Web C iff for x, y being object holds
( [x,y] in T iff {x,y} in C ) )