theorem CharIsPref: :: PREFER_1:52

for A being non empty set
for R being total reflexive Relation of A holds CharPrefSpace R is preference-like