for Al being QC-alphabet
for i, k being Nat
for ll being CQC-variable_list of k,Al st i in dom ll holds
ll . i is bound_QC-variable of Al