:: deftheorem Def20 defines pcs-ToleranceRels PCS_0:def 20 :
for I being non empty set
for C being () ManySortedSet of I
for b₃ being ManySortedSet of I holds
( b₃ = pcs-ToleranceRels C iff for i being Element of I holds b₃ . i = the ToleranceRel of (C . i) );