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