:: deftheorem defines tournament-like PREFER_1:def 13 :
for P being PreferenceStr holds
( P is tournament-like iff ( the ToleranceRel of P = id the carrier of P & the InternalRel of P = {} ) );