theorem Th2: :: PREFER_1:45
for P being non empty PreferenceStr st P is preference-like holds
the InternalRel of P = ((CharRel P) `) /\ (((CharRel P) ~) `)