:: deftheorem Def39 defines @ QC_LANG1:def 39 :
for A being QC-alphabet
for s being set holds
( ( s is QC-symbol of A implies s @ A = s ) & ( s is not QC-symbol of A implies s @ A = 0 ) );