for A being set holds varcl (union A) = union { (varcl a) where a is Element of A : verum }