theorem Th11: :: ABCMIZ_1:11

for X, Y being set holds varcl (X \/ Y) = (varcl X) \/ (varcl Y)