:: deftheorem Def2 defines Web COH_SP:def 2 :
for C being Coherence_Space
for b₂ being Tolerance of (union C) holds
( b₂ = Web C iff for x, y being object holds
( [x,y] in b₂ iff ex X being set st
( X in C & x in X & y in X ) ) );