for C, D being Coherence_Space st Web C = Web D holds
C = D