theorem Th9: :: ABCMIZ_1:9

for A, B being set st A c= B holds
varcl A c= varcl B