theorem Th6: :: SETFAM_1:6

for X, Y being set st X <> {} & X c= Y holds
meet Y c= meet X