theorem Th3: :: DYNKIN:4

for Y being non empty set
for x being set holds
( x c= meet Y iff for y being Element of Y holds x c= y )