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