for A being non empty set st ( for a being Element of A holds varcl a = a ) holds
varcl (meet A) = meet A