for P being non empty PreferenceStr st P is preference-like holds
the ToleranceRel of P = (CharRel P) /\ ((CharRel P) ~)