:: deftheorem DefNA defines negative_alliance ROUGHS_3:def 9 :
for R being non empty RelStr holds
( R is negative_alliance iff the InternalRel of R is_negative_alliance_in the carrier of R );