:: deftheorem defines satisfying_R-CP FUZIMPL4:def 8 :
for I being Fuzzy_Implication holds
( I is satisfying_R-CP iff I is FNegation I -satisfying_R-CP );