:: deftheorem Def19 defines pcs-ToleranceRels PCS_0:def 19 :
for I being set
for C being () ManySortedSet of I
for b₃ being ManySortedSet of I holds
( b₃ = pcs-ToleranceRels C iff for i being set st i in I holds
ex P being TolStr st
( P = C . i & b₃ . i = the ToleranceRel of P ) );