:: deftheorem Def44 defines pcs-self-coherent-membered PCS_0:def 45 :
for P being TolStr
for F being Subset-Family of P holds
( F is pcs-self-coherent-membered iff for S being Subset of P st S in F holds
S is pcs-self-coherent );