:: deftheorem defines is_alliance_in ROUGHS_3:def 7 :
for X being set
for R being Relation of X holds
( R is_alliance_in X iff ( R is_negative_alliance_in X & R is_positive_alliance_in X ) );