theorem :: PREFER_1:54

for P being non empty PreferenceSpace holds
( P is tournament-like iff ( CharRel P is connected & CharRel P is antisymmetric & CharRel P is total ) )