for A being QC-alphabet
for r, s being Element of CQC-WFF A holds r 'or' s is Element of CQC-WFF A