:: deftheorem defines pcs-self-coherent PCS_0:def 44 :
for P being TolStr
for S being Subset of P holds
( S is pcs-self-coherent iff for x, y being Element of P st x in S & y in S holds
x (--) y );