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