for A being QC-alphabet
for s being QC-symbol of A holds s < s ++