:: deftheorem defines Seg QC_LANG1:def 37 :
for A being QC-alphabet
for s being QC-symbol of A holds Seg s = { t where t is QC-symbol of A : s < t } ;