set A = the non empty trivial set ;
reconsider P = PrefSpace the non empty trivial set as non empty PreferenceSpace ;
take P ; :: thesis: P is tournament-like
thus P is tournament-like by Lemma1C; :: thesis: verum