:: deftheorem Def46 defines pcs-general-power-TR PCS_0:def 47 :
for P being TolStr
for D being set
for b₃ being Relation of D holds
( b₃ = pcs-general-power-TR (P,D) iff for A, B being set holds
( [A,B] in b₃ iff ( A in D & B in D & ( for a, b being set st a in A & b in B holds
[a,b] in the ToleranceRel of P ) ) ) );