for Al being QC-alphabet
for PHI being Consistent Subset of (CQC-WFF Al)
for CHI being Subset of (CQC-WFF Al) st CHI c= PHI holds
CHI is Consistent