scheme :: ABCMIZ_1:sch 1
Sch14{ F1() -> set , F2( set ) -> set , P1[ set ] } :
varcl (union { F2(z) where z is Element of F1() : P1[z] } ) = union { (varcl F2(z)) where z is Element of F1() : P1[z] }